G. Kolaitis
|
2315
|
Graph-based algorithms for boolean function manipulation
– Bryant
- 1986
|
|
1345
|
A.: The Temporal Logic of Reactive and Concurrent Systems
– Manna, Pnueli
- 1992
|
|
909
|
Temporal and modal logic
– Emerson
- 1990
|
|
808
|
The temporal logic of programs
– Pnueli
- 1977
|
|
568
|
Design and synthesis of synchronization skeletons using branching time temporal logic
– Clarke, Emerson
- 1981
|
|
460
|
P.: An automata-theoretic approach to automatic program verification
– Vardi, Wolper
- 1986
|
|
432
|
Symbolic Model Checking: An Approach to the State-explosion Problem
– McMillan
- 1992
|
|
353
|
Computer-Aided Verification of Coordinating Processes
– Kurshan
- 1994
|
|
247
|
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications
– Clarke, Emerson, et al.
- 1986
|
|
212
|
A.: Checking that finite state concurrent programs satisfy their linear specification
– Lichtenstein, Pnueli
- 1985
|
|
185
|
Modal and temporal logics
– Stirling
- 1992
|
|
157
|
What good is temporal logic
– Lamport
- 1983
|
|
155
|
Tree automata, mu-calculus and determinacy (Extended abstract
– Emerson, Jutla
- 1991
|
|
146
|
Symmetry and model checking
– Emerson, Sistla
- 1996
|
|
143
|
Sometimes” and “Not Never” revisited: on branching versus linear time temporal logic
– Emerson, Clarke
- 1986
|
|
114
|
Sistla. Reasoning about systems with many processes
– German, Prasad
- 1992
|
|
110
|
The temporal semantics of concurrent programs
– Pnueli
- 1981
|
|
104
|
A linear-time model-checking algorithm for the alternation-free modal mu-calculus. CAV’91
– Cleaveland, Steffen
|
|
85
|
Characterizing correctness properties of parallel programs using fixpoints, International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 85
– Emerson, Clarke
- 1980
|
|
66
|
Automatic Verifi-cation of Sequential Circuits Using Temporal Logic
– Browne, Clarke, et al.
- 1986
|
|
64
|
Modalities for model checking: branching time strikes back
– Emerson, Lei
- 1985
|
|
59
|
A theory and implementation of sequential hardware equivalence
– Pixley
- 1992
|
|
57
|
Verifying Temporal Properties of Sequential Machines Without Building Their State Diagrams
– Coudert, Madre, et al.
- 1990
|
|
51
|
Branching time temporal logic
– Emerson, Strinivasan
- 1989
|
|
49
|
Succinct representations of graphs
– Galperin, Wigderson
- 1983
|
|
49
|
An improved algorithm for the evaluation of fixpoint expressions
– Browne, Clarke, et al.
- 1997
|
|
41
|
Automatic verification of asynchronous circuits using temporal logic
– Dill, Clarke
- 1986
|
|
38
|
Local model checking for infinite state spaces
– Bradfield, Stirling
- 1992
|
|
35
|
Sometimes is sometimes "not never" - on the temporal logic of programs
– Lamport
- 1980
|
|
34
|
S.: Exploiting Symmetry
– Clarke, Filkorn, et al.
- 1993
|
|
32
|
The modal mu-calculus alternation hierarchy is strict
– Bradfield
- 1996
|
|
22
|
Deciding Branching Time Logic
– Emerson, Sistla
- 1984
|
|
22
|
Yet another process logic
– Vardi, Wolper
- 1983
|
|
21
|
The logic of distributed protocols
– Ladner, Reif
- 1986
|
|
19
|
On model checking for fragments of the mu-calculus
– Emerson, Jutla, et al.
- 1993
|
|
15
|
An automata-theoretic approach to branching time model checking
– Bernholtz, Vardi, et al.
- 1994
|
|
15
|
Analyzing Concurrent Systems using the Concurrency Workbench
– Cleaveland
- 1993
|
|
14
|
Specification and verification of concurrent programs
– Queille, Sifakis
- 1982
|
|
12
|
Checking the Correctness of Sequential Circuits
– Browne, Clarke, et al.
- 1985
|
|
12
|
A hierarchy theorem for the mu-calculus
– Lenzi
- 1996
|
|
11
|
Testing Containment of omega-regular Languages", Bell Labs
– Kurshan
- 1986
|
|
10
|
Local Model Checking
– Stirling, Walker
- 1989
|
|
7
|
Recursive program schemes: Semantics and proof theory
– Roever
- 1976
|
|
5
|
Generation of Reduced Models for checking fragments
– Dams, Grumberg, et al.
- 1993
|
|
5
|
A Lattice-Theoretical Fixpoint Theorem and its Applications
– Tarksi
- 1955
|
|
4
|
On the Complexity of Bounded Variable Queries
– Vardi
- 1995
|
|
3
|
Verification of Temporal Properties of Concurrent Systems
– Anderson
- 1993
|
|
3
|
Fixed Points versus Infinite Generation
– Niwinski
- 1988
|
|
3
|
Automata Theoretic Techniques for Modal
– Vardi, Wolper
- 1986
|
|
2
|
On-line model checking for Finite Linear Time
– Jard, Thierron
- 1989
|
|
