Moshe Y. Vardi
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Moshe Y. Vardi
The automata-theoretic line in model checking: the 1986 reduction of temporal-logic model checking to a question about automata, which the corpus's state-space-not-proof set is built on, and its development in reasoning about infinite computations. A third record reflects on why logic proved as effective in computer science as it has. The fourth is different in kind -- a short CACM column on what 'move fast and break things' costs.
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM · Association for Computing Machinery
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
Reasoning about Infinite Computations
Moshe Y. Vardi and others (1994) · Information and Computation · Elsevier BV
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi and others (1986) · Proceedings of the First Annual Symposium on Logic in Computer Science