Decision Procedures An Algorithmic Point of View /

• Κύριοι συγγραφείς: Kroening, Daniel (Συγγραφέας), Strichman, Ofer (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
• Έκδοση: 2nd ed. 2016.
• Σειρά: Texts in Theoretical Computer Science. An EATCS Series,
• Θέματα: Computer science.; Software engineering.; Computers.; Mathematical optimization.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Optimization.

A 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 the...

Πίνακας περιεχομένων:

• Introduction and Basic Concepts
• Decision Procedures for Propositional Logic
• From Propositional to Quantifier-Free Theories
• Equalities and Uninterpreted Functions
• Linear Arithmetic
• Bit Vectors
• Arrays
• Pointer Logic
• Quantified Formulas
• Deciding a Combination of Theories
• Propositional Encodings
• Applications in Software Engineering
• SMT-LIB 2.0: A Brief Tutorial
• A C++ Library for Developing Decision Procedures.