Rank Predicates vs. Progress Measures in Concurrent-Program Verification (1996)

View PDF

Download Links

by Moshe Y. Vardi
Citations:2 - 0 self

Active Bibliography

Rabin Measures – Nils Klarlund, Dexter Kozen - 1995
Vardi Rank Predicates vs. Progress Measures (Info) – unknown authors - 1996
3 The Limit View of Infinite Computations – Nils Klarlund, Nils Klarlund - 1994
465 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
247 Checking that finite state concurrent programs satisfy their linear specification – Orna Lichtenstein, Amir Pnueli - 1985
233 Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) – E. A. Emerson, C. S. Jutla - 1991
232 An automata-theoretic approach to linear temporal logic – Moshe Y. Vardi - 1996
91 Transition Invariants – Andreas Podelski, Andrey Rybalchenko
3 Separating fairness and well-foundedness for the analysis of fair discrete systems – Amir Pnueli, Andreas Podelski, Andrey Rybalchenko - 2005