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

Cached

Download Links

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

Documents Related by Co-Citation

1298 Symbolic Model Checking – K L McMillan - 1993
2426 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1183 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
2939 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
1266 The model checker SPIN – Gerard J. Holzmann - 1997
35 Imperative program transformation by rewriting – David Lacey, Oege De Moor - 2001
340 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
1501 Reasoning About Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 1995
118 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
796 Design and synthesis of synchronization skeletons using branching-time temporal logic – E M Clarke, E A Emerson - 1981
24 Reasoning about Hierarchical Storage – Amal Ahmed , Limin Jia, David Walker - 2003
475 Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions – Yves Bertot, Pierre 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
77 Co-induction in relational semantics – R Milner, M Tofte - 1991
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
57 A Simplified Account of Polymorphic References – Robert Harper - 1994
44 A Category-Theoretic Approach to the Semantics of Programming Languages – F J Oles - 1982