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
A grouping.
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.
4 references
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