SMTInterpol
From MaRDI portal
swMATH7406MaRDI QIDQ19438FDOQ19438
Author name not available (Why is that?)
Official website: http://ultimate.informatik.uni-freiburg.de/smtinterpol/
Cited In (53)
- Efficient strategies for CEGAR-based model checking
- AXDInterpolator
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Flexible proof production in an industrial-strength SMT solver
- \textsc{LTL} falsification in infinite-state systems
- Automatic discovery of fair paths in infinite-state transition systems
- BoSy
- Proof tree preserving tree interpolation
- Efficient interpolation for the theory of arrays
- Fairness modulo theory: a new approach to LTL software model checking
- Weakly equivalent arrays
- Cutting the mix
- Verification by gambling on program slices
- Bounded choice-free Petri net synthesis: algorithmic issues
- SDSAT
- Paradox
- WALA
- CPAchecker
- Ultimate Automizer
- UFO
- CLSAT
- MathSAT5
- Petrify
- SLAB
- FOCI
- Eleven82
- EXPLODE
- SQCK
- Satisfiability checking: theory and applications
- Jimple
- APT
- FuncTion
- LTLAutomizer
- Ultimate
- Ultimate Kojak
- FlowDroid
- Skink
- Ultimate Taipan
- Satisfiability modulo theories
- SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
- A reduction from unbounded linear mixed arithmetic problems into bounded problems
- GenMul
- multgen
- CCAnr
- Title not available (Why is that?)
- Reducing crash recoverability to reachability
- Leveraging compiler intermediate representation for multi- and cross-language verification
- iRankFinder
- CertiStr
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
- Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
- SMT-based model checking for recursive programs
- Loop Invariants from Counterexamples
This page was built for software: SMTInterpol
