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