|
2605
|
Graph-based algorithms for Boolean function manipulation
– Randal E. Bryant
- 1986
|
|
319
|
Symbolic model checking: 10 states and beyond
– J R Burch, E M Clarke, K L McMillan, D L Dill, J Hwang
- 1990
|
|
575
|
Model checking and abstraction
– Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria
- 1994
|
|
1208
|
Symbolic Model Checking
– K L McMillan
- 1993
|
|
699
|
E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic
– E M Clarke, Emerson
- 1982
|
|
1412
|
A.: The Temporal Logic of Reactive and Concurrent Systems: Safety
– Z Manna, Pnueli
- 1995
|
|
1009
|
Temporal and modal logic
– E. Allen Emerson
- 1995
|
|
219
|
A.: Checking that finite state concurrent programs satisfy their linear specification
– O Lichtenstein, Pnueli
- 1985
|
|
1085
|
Automatic verification of finite-state concurrent systems using temporal logic specifications
– E. M. Clarke, E. A. Emerson, A. P. Sistla
- 1986
|
|
228
|
Abstract interpretation of reactive systems: Abstractions preserving 8CTL , 9CTL and CTL
– Dennis Dams, Orna Grumberg, Rob Gerth
- 1994
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
591
|
Symbolic Model Checking without BDDs
– Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu
- 1999
|
|
510
|
P.: An automata-theoretic approach to automatic program verification
– M Y Vardi, Wolper
- 1986
|
|
1637
|
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
– P Cousot, R Cousot
- 1977
|
|
132
|
The temporal semantics of concurrent programs
– A Pnueli
- 1977
|
|
214
|
Symbolic model checking for sequential circuit verification
– Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill
- 1994
|
|
84
|
Symbolic Model Checking
– J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang
- 1992
|
|
208
|
C.-L.: Efficient model checking in fragments of the propositional μ-calculus
– E A Emerson, Lei
- 1986
|
|
18
|
Forward Model Checking Techniques Oriented to Buggy Designs
– Hiroaki Iwashita, Tsuneo Nakata
- 1997
|
