SAFARI

swMATH28669MaRDI QIDQ40383FDOQ40383

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-642-31424-7_49

Cited In (11)

• 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
• Search-space partitioning for parallelizing SMT solvers
• An extension of lazy abstraction with interpolation for programs with arrays
• Sally
• From model completeness to verification of data aware processes
• 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