3 search results - page 1 / 1 » Mechanised Translation of Control Law Diagrams into Circus |
IFM
2009
Springer
14 years 5 months ago
2009
Springer
FM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
ENTCS
2008
13 years 11 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...