Choice Reviews Online · 2005 · 875 citations · 14 references
ComputingComputer ScienceKnowledge RepresentationLogicSystems ModelingAutomated ReasoningComputational ModelsMathematical LogicModel CheckingModel TheoryPredicate LogicComputational LogicLogical ModelingModel-based Reasoning
From the Publisher: Provides a simple and clear presentation, covering propositional and predicate logic and some specialized logics used for reasoning about the correctness of computer systems.
14
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Mathematical Social Sciences · 1994 · 3.6K 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
Akers · IEEE Transactions on Computers · 1978 · 1.8K citations
Results on the propositional μ-calculus
Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations
Humanities, Mathematics, Logic +4