Logic in Computer Science: Modelling and Reasoning about Systems (1999)

Cached

Download Links

by Michael Huth , Mark Ryan
Citations:238 - 8 self

Documents Related by Co-Citation

1297 Symbolic Model Checking – K L McMillan - 1993
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
1254 The model checker SPIN – Gerard J. Holzmann - 1997
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
35 Imperative program transformation by rewriting – David Lacey, Oege De Moor - 2001
1500 Reasoning about Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 2003
118 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
799 E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, Emerson - 1982
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
25 Reasoning about Hierarchical Storage – Amal Ahmed , Limin Jia, David Walker - 2003
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
2 Possible worlds: A critical analysis. The Prague Bulletin of Mathematical Linguistics – Jaroslav Peregrin - 1993
7 Functor categories and store shapes – F J Oles - 1997
42 Fixpoint induction and proofs of program properties – D Park - 1970
61 Vicious Circles: on the mathematics of non-wellfounded phenomena. Stanford,USA:CSLIPublications – Jon Barwise, Lawrence S Moss - 1996
77 Co-induction in relational semantics – R Milner, M Tofte - 1991
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993