FM
2005
Springer
13 years 10 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...