Isabelle/DOF
From MaRDI portal
Isabelle/DOF (AFP entry Isabelle DOF)
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Building Formal Method Tools in the Isabelle/Isar Framework
- Formal methods for industrial applications. Specification and programming the Steam Boiler Control
- Unnamed Publication
- Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings
- Isabelle/HOL. A proof assistant for higher-order logic
- Pervasive parallelism in highly-trustable interactive theorem proving systems
- Philosophers May Dine - Definitively!
- Using the Isabelle ontology framework -- linking the formal with the informal
This page was built for software: Isabelle/DOF
