Decidability of model checking for infinite-state concurrent systems

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Computation: Finite and Infinite Machines.

D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations

Computing, Computer Science, Automation +6

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 742 citations

Computing, Computer Science, Mathematics +16

Automata-theoretic techniques for modal logics of programs

Moshe Y. Vardi, Pierre Wolper · Journal of Computer and System Sciences · 1986 · 523 citations

Computing, Computer Science, Formal Methods +13

An Algorithm for the General Petri Net Reachability Problem

Ernst Mayr · SIAM Journal on Computing · 1984 · 457 citations

Computing, Computer Science, Algorithms +14