Minimal state graph generation

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

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

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Three Partition Refinement Algorithms

Robert Paige, Robert E. Tarjan · SIAM Journal on Computing · 1987 · 1.2K citations

Computing, Computer Science, Mathematics +13

CCS expressions, finite state processes, and three problems of equivalence

Paris C. Kanellakis, Scott A. Smolka · Information and Computation · 1990 · 535 citations

Computing, Computer Science, Computer Systems +12