Cited in
(20)- SMT-based verification of data-aware processes: a model-theoretic approach
- Decision procedures for flat array properties
- An extension of lazy abstraction with interpolation for programs with arrays
- Search-space partitioning for parallelizing SMT solvers
- Quantifier-free interpolation in combinations of equality interpolating theories
- ASASP
- KRATOS
- CSIsat
- Mcmt
- Cubicle
- EUREKA
- CTIGAR
- Booster
- VERIFAS
- From model completeness to verification of data aware processes
- Sally
- Btor2Tools
- CoSA
- Predicate Abstraction in Program Verification: Survey and Current Trends
- Property-directed inference of universal invariants or proving their absence
This page was built for software: SAFARI