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

20 Formal Fault Tree Semantics – Gerhard Schellhorn, Andreas Thums, Wolfgang Reif - 2002
104 Fault Tree Handbook – W E Vesely, F F Goldberg, N H Roberts, D F Haasl - 1981
825 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
153 A temporal logic for multilevel reasoning about hardware – Ben Moszkowski - 1985
1297 Symbolic Model Checking – K L McMillan - 1993
62 A Dynamic Logic for the Formal Verification of Java Card Programs – Bernhard Beckert - 2001
587 SAFEWARE: System Safety and Computers – Nancy G Leveson - 1995
26 Verifying concurrent systems with symbolic execution – Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn, Lehrstuhl Softwaretechnik Und Programmiersprachen
52 Verification of Non-Functional Programs using Interpretations in Type Theory – Jean-Christophe Filliâtre
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
35 Verifying a file system implementation – Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin Rinard - 2004
16 RAVEN: Real-Time Analyzing and Verification Environment – Jürgen Ruf - 2001
28 T.: Symbolic Model and Checking for a Discrete Clocked Temporal Logic with Intervals – J Ruf, Kropf - 1997
9 The STATEMATE reference model of the reference case study ‘Verkehrsleittechnik – J Klose, A Thums - 2002
247 A Calculus of Durations – Z Chaochen, C Hoare, A Ravn - 1991
17 Validating safety models with fault trees – Glenn Bruns, Stuart Anderson - 1993
15 The KeY system: Integrating object-oriented design and formal methods – Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Elmar Habermalz, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt - 2002
28 Towards efficient satisfiability checking for boolean algebra with presburger arithmetic – Viktor Kuncak - 2007
35 Efficient E-matching for SMT solvers – Leonardo de Moura, Nikolaj Bjørner - 2007