Symmetry and partial order reduction techniques in model checking Rebeca

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

Dynamic partial-order reduction for model checking software

Cormac Flanagan, Patrice Godefroid · 2005 · 641 citations · Full text

Computing, Computer Science, Algorithms +15

A stubborn attack on state explosion

Antti Valmari · Formal Methods in System Design · 1992 · 575 citations

Computing, Cybersecurity, Dynamical Systems +2