Isabelle/Isar

Building formal method tools in the Isabelle/Isar framework --------- siehe Isar sid: 4599

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 96 articles )

Showing results 81 to 96 of 96.
Sorted by year (citations)

previous 1 2 3 4 5

  1. Nipkow, Tobias: Verifying a hotel key card system (2006)
  2. Nipkow, Tobias: Jinja: towards a comprehensive formal semantics for a Java-like language (2006)
  3. Wenzel, Makarius: Structured induction proofs in Isabelle/Isar (2006)
  4. Zinn, Claus: Supporting the formal verification of mathematical texts (2006)
  5. Mehta, Farhad; Nipkow, Tobias: Proving pointer programs in higher-order logic (2005)
  6. Schirmer, Norbert: A verification environment for sequential imperative programs in Isabelle/HOL (2005)
  7. Wiedijk, Freek (ed.): The seventeen provers of the world. Foreword by Dana S. Scott.. (2005)
  8. Ballarin, Clemens: Locales and locale expressions in Isabelle/Isar (2004)
  9. Berghofer, Stefan: A constructive proof of Higman’s lemma in Isabelle (2004)
  10. Kahl, Wolfram: Calculational relation-algebraic proofs in Isabelle/Isar (2004)
  11. Richter, Stefan: Formalizing integration theory with an application to probabilistic algorithms (2004)
  12. Wiedijk, Freek: Formal proof sketches (2004)
  13. Berghofer, Stefan: Program extraction in simply-typed higher order logic (2003)
  14. Nipkow, Tobias: Structured proofs in Isar/HOL (2003)
  15. Bauer, Gertrud; Nipkow, Tobias: The 5 colour theorem in Isabelle/Isar (2002)
  16. Wenzel, Markus; Wiedijk, Freek: A comparison of Mizar and Isar (2002)

previous 1 2 3 4 5