Cover Algorithms and Their Combination

DOI10.1007/978-3-540-78739-6_16zbMath1133.68318OpenAlexW2150628379MaRDI QIDQ5458397

Sumit Gulwani, Madan Musuvathi

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Conditional congruence closure over uninterpreted and interpreted symbols ⋮ Interpolation and Symbol Elimination ⋮ Unnamed Item ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Model completeness, covers and superposition ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability ⋮ CTL* model checking for data-aware dynamic systems with arithmetic

This page was built for publication: Cover Algorithms and Their Combination