ArcAngelC

MaRDI QIDQ18466swMATHFDO

Official website http://www.cs.york.ac.uk/circus/publications/papers/08-oc.pdf

Described by source

• A tactic language for refinement of state-rich concurrent specifications

Cited in

(10)

• Mechanised support for sound refinement tactics
• Laws of mission-based programming
• CirCUs
• ArcAngel
• ClawZ
• ProofPower
• Circus
• ZRC
• Encoding Circus programs in ProofPower-Z
• Automating refinement of Circus programs

This page was built for software: ArcAngelC