swMATH21618MaRDI QIDQ33420FDOQ33420
Author name not available (Why is that?)
Official website: http://ics.csl.sri.com/
Cited In (35)
- Preface to the special issue ``SI: satisfiability modulo theories
- Generalizing DPLL and satisfiability for equalities
- Efficient theory combination via Boolean search
- A survey on temporal logics for specifying and verifying real-time systems
- Verifying a signature architecture: a comparative case study
- Analyzing automata with Presburger arithmetic and uninterpreted function symbols
- Automated Deduction – CADE-20
- An integrated approach to high integrity software verification
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- A framework for satisfiability modulo theories
- Building small equality graphs for deciding equality logic with uninterpreted functions
- HaifaSat
- QOCA
- CVC Lite
- CVC
- CVT
- Tempo
- RSat
- EVC
- Omega
- STeP
- DCVALID
- IDLVALID
- Modechart
- C32SAT
- QAGen
- Zapato
- Z34Bio
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
- Embedded software verification using symbolic execution and uninterpreted functions
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- Variant-Based Satisfiability in Initial Algebras
- Decision procedures. An algorithmic point of view
- Translation and run-time validation of loop transformations
- Bounded model checking for timed automata
This page was built for software: ICS
