Tapas: T heory Combina tions and P ractical A pplications

* Final gross prices may vary according to local VAT.

Get Access


Satisfiability Modulo Theories is about checking the satisfiability of logical formulas over one or more theories. We provide an appetizer of SMT solving, illustrate an application for test-case generation based on dynamic symbolic execution and summarize an array of existing applications, enabling features, challenges and future directions.