Another Look at LTL Model Checking (1994)

Cached

Download Links

by E. Clarke , O. Grumberg , K. Hamaguchi
Venue:FORMAL METHODS IN SYSTEM DESIGN
Citations:111 - 11 self

Documents Related by Co-Citation

1298 Symbolic Model Checking – K L McMillan - 1993
1108 Temporal and modal logic – E. Allen Emerson - 1995
2939 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
796 Design and synthesis of synchronization skeletons using branching-time temporal logic – E M Clarke, E A Emerson - 1981
708 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
323 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang - 1990
625 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
2426 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1505 The temporal logic of reactive and concurrent systems – Zohar Manna, Amir Pnueli - 1992
236 Checking that finite state concurrent programs satisfy their linear specification – Orna Lichtenstein, Amir Pnueli - 1985
586 An automata-theoretic approach to automatic program verification – M Y Vardi, P Wolper
574 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
225 Efficient model checking in fragments of the propositional mu-calculus – E A Emerson, C-L Lei - 1986
269 Simple On-the-fly Automatic Verification of Linear Temporal Logic – R. Gerth , D. Peled, M. Y. Vardi, P. Wolper - 1995
247 Abstract interpretation of reactive systems: Abstractions preserving 8CTL , 9CTL and CTL – Dennis Dams, Orna Grumberg, Rob Gerth - 1994
222 Symbolic model checking for sequential circuit verification – Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill - 1994
1183 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
20 Forward Model Checking Techniques Oriented to Buggy Designs – Hiroaki Iwashita, Tsuneo Nakata - 1997
60 Efficient BDD Algorithms for FSM Synthesis and Verification – Rajeev K. Ranjan, Adnan Aziz, Robert K. Brayton, Bernard Plessier, Carl Pixley - 1995