Reasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
Publications
6 results for Pierre Wolper
Memory-efficient algorithms for the verification of temporal properties
- C. Courcoubetis
- Moshe Y. Vardi
- et al.
- 1992
- Formal Methods in System Design
The complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
AUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- LICS 1986
Automata-theoretic techniques for modal logics of programs
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- Journal of Computer and System Sciences
Automata theoretic techniques for modal logics of programs (extended abstract)
- Moshe Y. Vard
- Pierre Wolper
- 1984
- STOC 1984