Imperative Refinement

MaRDI QIDQ40949swMATHFDO

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
• Formal verification of an executable LTL model checker with partial order reduction
• conauto
• DPT
• CAVA
• Collections
• Refinement Monadic
• Stuttering Equivalence
• Refinement to imperative HOL

This page was built for software: Imperative Refinement