Imperative Refinement

swMATH29235MaRDI QIDQ40949FDOQ40949

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: Imperative Refinement