ArcAngel

swMATH1812MaRDI QIDQ14460FDOQ14460

Author name not available (Why is that?)

Described by source

• ArcAngel: a tactic language for refinement

Cited In (11)

• 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?)
• Transformation rules for Z
• Patterns for refinement automation
• Automating refinement of Circus programs
• 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

This page was built for software: ArcAngel