ArcAngel
From MaRDI portal
Cited in
(21)- Mechanised support for sound refinement tactics
- From control law diagrams to Ada via \textsf{Circus}
- Angelic processes for CSP via the UTP
- scientific article; zbMATH DE number 2147039 (Why is no real title available?)
- ArcAngelC
- ClawZ
- ProofPower
- UTP2
- Circus
- Hume
- ZRC
- Transformation rules for Z
- FeatherTrait
- Patterns for refinement automation
- Automating refinement of Circus programs
- Tactics for hierarchical proof
- Traits: correctness-by-construction for free
- A tactic language for refinement of state-rich concurrent specifications
- TraitCbC
- A Tactic Language for Hiproofs
- TraitRecordJ
This page was built for software: ArcAngel
