International Symposium on Programming Language Implementation and Logic Programming · 1993 · 31 citations · 2 references
ComputingComputer ScienceLogicProgramming LanguagesTheory Of ComputationAbstract InterpretationAutomated ReasoningConstraint SatisfactionDeductive ReasoningDeductive SystemsFormal SemanticsAbstract DomainsBottom-up ParsingFinite Domain ConstraintsFinite-domain Constraint SatisfactionModel-theoretic SemanticsSymbolic LogicTheory Solvers
2
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