The following pages link to UTP Semantics for Handel-C (Q3585027):
Displaying 5 items.
- Mechanised wire-wise verification of Handel-C synthesis (Q436367) (← links)
- A denotational semantics for Handel-C (Q539165) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)