Reasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
Paper
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
PaperThe complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
PaperAUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- LICS 1986
Conference paperAutomata-theoretic techniques for modal logics of programs
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- Journal of Computer and System Sciences
PaperAutomata theoretic techniques for modal logics of programs (extended abstract)
- Moshe Y. Vard
- Pierre Wolper
- 1984
- STOC 1984
Conference paper