Property-Driven Partitioning for Abstraction Refinement

DOI10.1007/978-3-540-71209-1_30zbMath1186.68301OpenAlexW1548505328MaRDI QIDQ5758119

Stefano Tonetta, Roberto Sebastiani, Moshe Y. Vardi

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_30

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Symbolic Trajectory Evaluation

This page was built for publication: Property-Driven Partitioning for Abstraction Refinement