Cited in
(only showing first 100 items - show all)- Flexible proof production in an industrial-strength SMT solver
- \textsc{LTL} falsification in infinite-state systems
- Optimization modulo non-linear arithmetic via incremental linearization
- Causality-based game solving
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Automatic discovery of fair paths in infinite-state transition systems
- Mind the gap: bit-vector interpolation recast over linear integer arithmetic
- Safe decomposition of startup requirements: verification and synthesis
- Translation-based approaches for solving disjunctive temporal problems with preferences
- scientific article; zbMATH DE number 7453201 (Why is no real title available?)
- Building bridges between symbolic computation and satisfiability checking
- Embedding equality constraints of optimization problems into a quantum annealer
- Deductive verification of floating-point Java programs in KeY
- Strong temporal planning with uncontrollable durations
- Parallelizing SMT solving: lazy decomposition and conciliation
- Fairness modulo theory: a new approach to LTL software model checking
- A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
- An extension of lazy abstraction with interpolation for programs with arrays
- Deciding floating-point logic with abstract conflict driven clause learning
- Search-space partitioning for parallelizing SMT solvers
- Algorithmic reduction of biological networks with multiple time scales
- Certifying proofs for SAT-based model checking
- An SMT theory of fixed-point arithmetic
- Cutting the mix
- SPASS-SATT. A CDCL(LA) solver
- Incremental design-space model checking via reusable reachable state approximations
- Automated verification and synthesis of stochastic hybrid systems: a survey
- A modular approach to MaxSAT modulo theories
- Beaver
- Boolector
- CoCoALib
- CPBPV
- MetiTarski
- SDSAT
- Paradox
- ECCE
- SMT-LIB
- REDLOG
- SATIRE
- Yices
- UCLID
- z3
- Orbital library
- libpoly
- COMICS
- GiNaCRA
- Princess
- E-SETHEO
- dReal
- CPAchecker
- SMTInterpol
- veriT
- Ultimate Automizer
- KRATOS
- CLSAT
- SPNP
- OpenSMT
- SYMBA
- CVC4
- Cleaneling
- Cumapz
- NuSMV3
- Eldarica
- Ocelot
- TeMP
- CSIsat
- Mcmt
- SIMPLY
- Skeptik
- DFTCalc
- ANML
- CCASat
- FOCI
- CArL
- TopDeg
- SMT-RAT
- Cubicle
- Wolverine
- RATSY
- TRP++
- raSAT
- Eleven82
- EXPLODE
- SQCK
- FAST
- nuXmv
- OpenSMT2
- PySMT
- HyComp
- EUREKA
- JKind
- Kind 2
- STEWord
- PKind
- pytest
- OSMOSE
- Tip
- TCAS
- CTIGAR
This page was built for software: MathSAT5
