ICS
From MaRDI portal
Software:33420
swMATH21618MaRDI QIDQ33420FDOQ33420
Author name not available (Why is that?)
Cited In (18)
- 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
- 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
- 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
- Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols
- 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
