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