Moshe Vardi
Top View
- Sponsored by IEEE Computer Society Technical Committee On
- Automata-Based Quantitative Verification
- Contents U U U
- Alloy: a Language and Tool for Exploring Software Designs
- Daniel Osherson
- An Improved Approach on the Model Checking for an Agent-Based Simulation System Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
- Moshe Y. Vardi
- An Explicit State Model Checker
- Arxiv:2009.05908V2 [Cs.LG] 16 Jun 2021
- Moshe Vardi Speaks out on the Proof, the Whole Proof, and Nothing but the Proof
- Signature Redacted a U Th O R
- The Association for Computing Machinery ACM HONORS
- 1993 THEA MASHACK Department of Computer Science Stanford
- 2021 Knuth Prize Is Awarded to Moshe Vardi
- Tradeoffs in Infinite Games
- Lecture Notes in Computer Science 4800 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
- Lecture Notes in Computer Science 5532 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
- Introduction to Model Checking