ArcAngel

swMATH1812MaRDI QIDQ14460FDOQ14460

Author name not available (Why is that?)

Described by source

• ArcAngel: a tactic language for refinement

Cited In (11)

• Title not available (Why is that?)
• Mechanised support for sound refinement tactics
• From control law diagrams to Ada via \textsf{Circus}
• Angelic processes for CSP via the UTP
• Title not available (Why is that?)
• Traits: correctness-by-construction for free
• Tactics for hierarchical proof
• A tactic language for refinement of state-rich concurrent specifications
• A Tactic Language for Hiproofs
• Automating Refinement of Circus Programs
• Patterns for Refinement Automation

This page was built for software: ArcAngel