Simpl

MaRDI QIDQ43945swMATHFDO

Authors Norbert Schirmer

Publication date 29 February 2008

Official website https://www.isa-afp.org/entries/Simpl.html

Cites work

• Formal Pervasive Verification of a Paging Mechanism
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• Proving pointer programs in higher-order logic.
• Theorem Proving in Higher Order Logics
• Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22--25, 2005. Proceedings.
• Types for Proofs and Programs
• Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.
• Types, bytes, and separation logic

Cited in

(1)

• Building program construction and verification tools from algebraic principles

This page was built for software: Simpl