• Sign in
  • Sign up
conf.researchr.org / Moshe Vardi
  • ECOOP and ISSTA 2021 profile
  • ICSE 2021 profile
  • POPL 2020 profile

Registered user since Sun 24 Jul 2016

Name:Moshe Vardi

Contributions

SPIN 2021 Author of The Rise and Fall of Linear Temporal Logic within the SPIN-track
FormaliSE 2021 Keynote Speaker of Program Verification: a 70-Year History within the FormaliSE 2021-track
VMCAI 2020 Invited Speaker in Invited Speakers within the VMCAI 2020-track
Keynote Speaker of The Siren Song of Temporal Synthesis within the VMCAI 2020-track

Share
xMon 6 Feb 16:46
using conf.researchr.org (v1.58.0)
Support page
Sign Up