Pages that link to "Item:Q706504"
From MaRDI portal
The following pages link to ArcAngel: a tactic language for refinement (Q706504):
Displaying 11 items.
- ArcAngel (Q14460) (← links)
- 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)
- A Tactic Language for Hiproofs (Q5505516) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)
