Imperative Refinement

swMATH29235MaRDI QIDQ40949FDOQ40949

Author name not available (Why is that?)

Cited In (3)

• 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

This page was built for software: Imperative Refinement