Regular model checking for LTL(MSO)

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

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

A new solution of Dijkstra's concurrent programming problem

Leslie Lamport · Communications of the ACM · 1974 · 715 citations · Full text

Computing, Computer Engineering, Computer Science +7

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

Computing, Computer Science, Computer Systems +14

Reasoning about systems with many processes

Steven M. German, A. Prasad Sistla · Journal of the ACM · 1992 · 443 citations · Full text

Computing, Computer Science, Computer Systems +17