Invisible Formal Methods for Embedded Control Systems (2003)
A. Tiwari, N. Shankar, J. Rushby
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. These systems are modeled using a hybrid automaton formalism, which is obtained by combining the...
Invisible Formal Methods for Embedded Control Systems (2001)
A. Tiwari, N. Shankar, J. Rushby
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. The Simulink graphical environment of MathWorks' tool suite is a popular choice for modeling and...
From Formal Verification to Silicon Compilation (1999)
J. Joyce, E. Liu, J. Rushby, N. Shankar, R. Suaya, F. Von Henke
Formal verification is emerging as a viable method for increasing design assurance for VLSI circuits. Potential benefits include reduction in the time and costs associated with testing and redesign,...