Powerful Techniques for the Automatic Generation of Invariants (1996)

Cached

Download Links

by Saddek Bensalem , Hassen Saidi
Venue:In CAV
Citations:89 - 9 self

Documents Related by Co-Citation

51 Automatic generation of invariants and intermediate assertions – N Bjrner, A Browne, Z Manna - 1997
386 Temporal Verification of Reactive Systems: Safety – Z Manna, A Pnueli - 1995
49 The synthesis of loop predicates – B Wegbreit - 1974
1297 Symbolic Model Checking – K L McMillan - 1993
305 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
128 Quickly Detecting Relevant Program Invariants – Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin - 1999
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
623 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
48 Automatic Generation of Invariants and Intermediate Assertions – Nikolaj Bjørner, Anca Browne, Zohar Manna - 1995
17 Verification of concurrent software with FLAVERS – Gleb Naumovich, Lori A Clarke, Leon J Osterweil, Matthew B Dwyer - 1997
43 Dependent types in logic programming – F Pfenning - 1992
51 An extended static checker for Modula-3 – K R M Leino, G Nelson - 1998
73 An Overview of the Extended Static Checking System – David L. Detlefs - 1995
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
271 Automatic Verification of Finite State Concurrent Systems Using Temporal Logic – E M Clarke, E A Emerson, A P Sistla - 1986
27 Verifying Invariants Using Theorem Proving – Susanne Graf, Hassen Saïdi - 1996
119 an annotation assistant for ESC/Java – Houdini - 2001
111 LCLint: A Tool for Using Specifications to Check Code – David Evans, John Guttag, James Horning, Yang Meng Tan - 1994