Automated verification of function block-based industrial control systems

An investigation of the Therac-25 accidents

Nancy G. Leveson, Clark Savage Turner · Computer · 1993 · 1.2K citations · Full text

Engineering, Computer Science, Systems Engineering +17

Automatic symbolic verification of embedded systems

Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho · IEEE Transactions on Software Engineering · 1996 · 491 citations

Computing, Computer Engineering, Computer Science +17

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Journal of Symbolic Logic · 1988 · 452 citations

Humanities, Computer Science, Mathematics +12

Verification of Real-Time Systems using Linear Relation Analysis

Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff · Formal Methods in System Design · 1997 · 260 citations

Computing, Computer Engineering, Computer Science +14

Experience with Embedding Hardware Description Languages in HOL

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon et al. · 1992 · 160 citations

Computing, Computer Engineering, Computer Science +17