Formal system development with KIV (2000)

Cached

Download Links

by Michael Balser , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel , Andreas Thums
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, NUMBER 1783 IN LNCS
Citations:49 - 26 self

Documents Related by Co-Citation

820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
587 Safeware: System Safety and Computers – N G Leveson - 1995
469 Interactive Theorem Proving and Program Development – Y Bertot, P Castéran - 2004
1298 Symbolic Model Checking – K L McMillan - 1993
537 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
729 L.C.: Isabelle/Hol: a Proof Assistant for Higher-Order Logic – T Nipkow, Paulson - 2004
2130 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
1369 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
521 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002