ArcAngel
From MaRDI portal
swMATH1812MaRDI QIDQ14460FDOQ14460
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/m7rbdhg06xyu9vde/
Cited In (21)
- TraitCbC
- FeatherTrait
- Mechanised support for sound refinement tactics
- TraitRecordJ
- From control law diagrams to Ada via \textsf{Circus}
- Angelic processes for CSP via the UTP
- Title not available (Why is that?)
- Transformation rules for Z
- ArcAngelC
- ClawZ
- ProofPower
- UTP2
- Patterns for refinement automation
- Automating refinement of Circus programs
- Circus
- Hume
- ZRC
- Traits: correctness-by-construction for free
- Tactics for hierarchical proof
- A tactic language for refinement of state-rich concurrent specifications
- A Tactic Language for Hiproofs
This page was built for software: ArcAngel
