State space reduction based on live variables analysis

Program Slicing

Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations

Computing, Computer Engineering, Computer Science +14

Symbolic model checking: an approach to the state explosion problem

Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 1992 · 981 citations

Computing, Computer Engineering, Computer Science +17

Specification and Description Language (SDL)

Itu-T · Medical Entomology and Zoology · 1999 · 655 citations

Computing, Computer Science, Systems Engineering +10

Automatic verification of finite state concurrent system using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · 1983 · 413 citations

Computing, Computer Science, Formal Methods +16

An experiment in automatic generation of test suites for protocols with verification technology

Jean-Claude Fernandez, Claude Jard, Thierry Jéron et al. · Science of Computer Programming · 1997 · 146 citations · Full text

Computing, Computer Engineering, Computer Science +16