Skip to main content

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers

Andreas Bauer‚ Martin Leucker‚ Christian Schallhart and Michael Tautschnig

Address
Poitiers‚ France
Book Title
Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA)
ISBN
9782854288148
Month
December
Pages
135–146
Year
2007