Proving nondeterministically specified safety properties using progress measures
- Nils Klarlund
- Fred B. Schneider
- 1993
- Information and Computation
Paper
Publications
5 results for Nils Klarlund
Progress measures and stack assertions for fair termination
- Nils Klarlund
- 1992
- PODC 1992
Conference paperProgress measures, immediate determinacy, and a subset construction for tree automata
- Nils Klarlund
- 1992
- LICS 1992
Conference paperProgress measures for complementation ω-automata with applications to temporal logic
- Nils Klarlund
- 1991
- FOCS 1991
Conference paperRabin measures and their applications to fairness and automata theory
- Nils Klarlund
- Dexter Kozen
- 1991
- LICS 1991
Conference paper