Decision Procedures -- An Algorithmic Point of ViewA decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler opti
EWSCS 2007:
SpringerLink - PAM: A process algebra manipulator
