ArcAngelC

swMATH6338MaRDI QIDQ18466FDOQ18466

Author name not available (Why is that?)

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)

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

This page was built for software: ArcAngelC