The following pages link to ArcAngel (Q14460):
Displaying 11 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Automating Refinement of Circus Programs (Q2999326) (← links)
- Patterns for Refinement Automation (Q3066119) (← links)
- (Q4658725) (← links)
- (Q5414584) (← links)
- A Tactic Language for Hiproofs (Q5505516) (← links)