ArcAngel: a tactic language for refinement
From MaRDI portal
Publication:706504
DOI10.1007/s00165-003-0003-8zbMath1093.68565OpenAlexW2041169043MaRDI QIDQ706504
Ana Cavalcanti, J. C. P. Woodcock, Marcel V. M. Oliveira
Publication date: 8 February 2005
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-003-0003-8
Related Items (12)
Traits: correctness-by-construction for free ⋮ Information Flow Control-by-Construction for an Object-Oriented Language ⋮ Flexible Correct-by-Construction Programming ⋮ Tactics for hierarchical proof ⋮ Mechanised support for sound refinement tactics ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Automating Refinement of Circus Programs ⋮ Angelic processes for CSP via the UTP ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Patterns for Refinement Automation ⋮ ArcAngel ⋮ A Tactic Language for Hiproofs
This page was built for publication: ArcAngel: a tactic language for refinement
