SAFARI
From MaRDI portal
Software:40383
swMATH28669MaRDI QIDQ40383FDOQ40383
Author name not available (Why is that?)
Cited In (8)
- SMT-based verification of data-aware processes: a model-theoretic approach
- Decision procedures for flat array properties
- Quantifier-free interpolation in combinations of equality interpolating theories
- An extension of lazy abstraction with interpolation for programs with arrays
- Search-Space Partitioning for Parallelizing SMT Solvers
- From model completeness to verification of data aware processes
- 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
