|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
37
|
Automated Temporal Reasoning about Reactive Systems
– E. Allen Emerson
- 1996
|
|
1
|
Theorem-Proving for Discrete Temporal Logic
– Mark Reynolds, Clare Dixon
- 1998
|
|
17
|
Hyperdocuments as Automata: Verification of Trace-based Browsing Properties by Model Checking
– P. David Stotts, Richard Furuta, J. Cyrano Ruiz
- 1997
|
|
22
|
The Complexity of Temporal Logic Model Checking
– Philippe Schnoebelen
- 2002
|
|
2
|
A Clausal Resolution Method for CTL Branching-Time Temporal Logic
– Alexander Bolotov, Er Bolotov, Michael Fisher
- 1999
|
|
2
|
Temporal Logics of Computations - Introductory Course
– Val Goranko
- 2000
|
|
4
|
A Graph-Based Approach To Resolution In Temporal Logic
– Clare Dixon, Michael Fisher, Howard Barringer
- 1994
|
|
1
|
Specification, Simulation, and Verification of Timing Behavior
– Tod Amon, Tod Amon
- 1993
|
|
112
|
Verification Tools for Finite-State Concurrent Systems
– E. Clarke, O. Grumberg, D. Long
|
|
25
|
Monodic temporal resolution
– Anatoli Degtyarev, Michael Fisher, Boris Konev
- 2003
|
|
4
|
Temporal Logic, Automata, and Classical Theories -- An Introduction
– Mads Dam
- 1994
|
|
11
|
Specifying Communication in Distributed Information Systems
– Hans-dieter Ehrich, Carlos Caleiro
- 1998
|
|
26
|
Logics for Specifying Concurrent Information Systems
– Hans-Dieter Ehrich, et al.
- 1998
|
|
1
|
An Automata-Theoretic Decision Procedure for Propositional Temporal Logic with Since and Until
– Y. S. Ramakrishna, L.E. Moser, L. K. Dillon, P.M. Melliar-Smith, G. Kutty
- 1992
|
|
26
|
Hyperdocuments as Automata: Trace-based Browsing Property Verification
– P. David Stotts, Richard Furuta, J. Cyrano Ruiz
- 1992
|
|
10
|
A Hierarchy of Temporal Logics with Past
– F. Laroussinie, Ph. Schnoebelen
- 1994
|
|
1
|
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
– Ben Moszkowski
- 2007
|
|
100
|
Another Look at LTL Model Checking
– E. Clarke, O. Grumberg, K. Hamaguchi
- 1994
|
