Should Your Specification Language Be Typed? (1999)

by Leslie Lamport , Lawrence C. Paulson
Citations:45 - 1 self

Active Bibliography

22 Isabelle's Object-Logics – Lawrence C. Paulson - 1997
Desiderata for Interactive Verification Systems – Konrad Slind, Christian Prehofer - 1994
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
54 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
11 High-Level Specifications: Lessons from Industry – Brannon Batson, Leslie Lamport - 2003
4 Proof Representations in Theorem Provers – Geoffrey Norman Watson, Geoffrey Norman Watson - 1998
11 Composition and Refinement of Discrete Real-Time Systems – Jonathan S. Ostroff, Jonathan S. Ostroff - 1998
16 Mechanizing set theory: Cardinal arithmetic and the axiom of choice – Lawrence C. Paulson, Krzysztof Grabczewski - 1996
12 An Overview of A Formal Framework For Managing Mathematics – William M. Farmer, Martin V. Mohrenschildt - 2003
2 The Logic of Software Design – Jonathan S. Ostroff, Richard Paige - 1998
91 Dynamically Discovering Likely Program Invariants – Michael D. Ernst - 2000
14 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005
38 IOA: A Language for Specifying, Programming, and Validating Distributed Systems – Stephen J. Garland, Nancy A. Lynch, Mandana Vaziri - 2001
818 The Temporal Logic of Actions – Leslie Lamport - 1993
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
46 Set theory for verification: I. From foundations to functions – Lawrence C. Paulson - 1993
8 KORSO: A Methodology for the Development of Correct Software – Peter Pepper, Martin Wirsing (eds.), Martin Wirsing, Manfred Broy, Sabine Dick, Klaus Didrich, Wolfgang Grieskamp, Heinrich Humann, Michael Mehlich, Wolfgang Reif - 1994
8 A Method for the Development of Correct Software – Peter Pepper, Martin Wirsing, Manfred Broy, Sabine Dick, Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Humann, Michael Mehlich, Wolfgang Reif - 1995
An Approach to Flexible Forms of Proof Control for a First-Order Inductive Theorem Prover (Extended Abstract) – Ulrich Kühler