ArcAngel
From MaRDI portal
Software:14460
No author found.
Related Items (11)
Unnamed Item ⋮ Traits: correctness-by-construction for free ⋮ Tactics for hierarchical proof ⋮ Mechanised support for sound refinement tactics ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Automating Refinement of Circus Programs ⋮ Angelic processes for CSP via the UTP ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Patterns for Refinement Automation ⋮ A Tactic Language for Hiproofs ⋮ Unnamed Item
This page was built for software: ArcAngel
