Imperative Refinement

MaRDI QIDQ40949swMATHFDO

Authors Peter Lammich

Publication date 8 August 2016

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

Cited in

(9)

• A verified SAT solver framework with learn, forget, restart, and incrementality
• Refinement to imperative HOL
• conauto
• DPT
• Refinement Monadic
• CAVA
• Stuttering Equivalence
• Collections
• Formal verification of an executable LTL model checker with partial order reduction

This page was built for software: Imperative Refinement