From NuSMV to SPIN: Experiences with model checking flight guidance systems

Model checking

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

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

The model checker SPIN

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

Computing, Computer Engineering, Computer Science +12

Program Slicing

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

Computing, Computer Engineering, Computer Science +14

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9