Checking properties of safety critical specifications using efficient decision procedures
David Y. W. Park, Jens Ulrik Skakkebæk, Mats P. E. Heimdahl, Barbara J. Czerny, David L. Dill · 1998
The increasing use of software in safety critical systems entails increasing complexity, challenging the safety of these systems.Although formal specifications of real-life systems are orders of magnitude simpler than the system implementations, they are still quite complex.It is easy to overlook problems in a specification, ultimately compromising 'The research was supported by the Defense Advanced