ArcAngel
From MaRDI portal
Cited in
(21)- TraitCbC
- Tactics for hierarchical proof
- Mechanised support for sound refinement tactics
- FeatherTrait
- TraitRecordJ
- A tactic language for refinement of state-rich concurrent specifications
- ArcAngelC
- ClawZ
- ProofPower
- UTP2
- Circus
- Hume
- ZRC
- A Tactic Language for Hiproofs
- 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?)
- Patterns for refinement automation
- Transformation rules for Z
- Traits: correctness-by-construction for free
- Automating refinement of Circus programs
This page was built for software: ArcAngel
