The Journal of Logic and Algebraic Programming · 2003 · 54 citations · 32 references
ComputingComputer ScienceComputer SystemsAlgorithmsFault-tolerant SystemsFormal MethodsFinite State Machine ModelingMarkov ChainsMarkov ProcessesModel CheckingModel TheoryVerificationFinite Markov ChainsFinite-state VerificationTransition Systems
32
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations
Depth-First Search and Linear Graph Algorithms
Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations
A logic for reasoning about time and reliability
Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.4K citations · Full text