Generating BDDs for symbolic model checking in CCS

Graph-Based Algorithms for Boolean Function Manipulation

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

Computing, Computer Science, Algorithms +16

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

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

EFFICIENT MODEL CHECKING IN FRAGMENTS OF THE PROPOSITIONAL MU-CALCULUS.

E. Allen Emerson, Chin Laung Lei · Logic in Computer Science · 1986 · 433 citations

Computing, Computer Science, Formal Methods +10

Symbolic model checking: 10/sup 20/ states and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 2002 · 304 citations

Computing, Computer Science, Algorithms +16