Formal Methods in System Design

LSCs: Breathing Life into Message Sequence Charts

Werner Damm, David Harel · 2001 · 822 citations

Computing, Data Science, Data Analytics +4

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke, Armin Biere, Richard Raimi et al. · 2001 · 679 citations

Computing, Computer Science, Formal Methods +8

Model Checking of Safety Properties

Orna Kupferman, Moshe Y. Vardi · 2001 · 577 citations

Engineering, Systems Engineering, Formal Methods +12

A stubborn attack on state explosion

Antti Valmari · 1992 · 575 citations

Computing, Cybersecurity, Dynamical Systems +2

Reactive Modules

Rajeev Alur, Thomas A. Henzinger · 1999 · 541 citations

Computing, Computer Science, Computer Systems +12