Combined satisfiability modulo parametric theories

TACAS, pp. 602-617, 2007.

Cited by: 32|Bibtex|Views2|Links
EI
Keywords:
main resultcommon data typemotivated directiondecision procedurecombination theoremMore(8+)

Abstract:

We give a fresh theoretical foundation for designing comprehensive SMT solvers, generalizing in a practically motivated direction. We define parametric theories that most appropriately express the "logic" of common data types. Our main result is a combination theorem for decision procedures for disjoint theories of this kind. Virtually al...More

Code:

Data:

Your rating :
0

 

Tags
Comments