Slicing Abstractions

DOI10.1007/978-3-540-75698-9_2zbMath1141.68457OpenAlexW4252918902MaRDI QIDQ3508510

Klaus Dräger, Bernd Finkbeiner, Ingo Brückner, Heike Wehrheim

Publication date: 1 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_2

Mathematics Subject Classification ID

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

Related Items (5)

Splitting via Interpolants ⋮ Causality-based game solving ⋮ Efficient strategies for CEGAR-based model checking ⋮ Refinement of Trace Abstraction ⋮ A Configurable CEGAR Framework with Interpolation-Based Refinements

Uses Software

• BLAST

This page was built for publication: Slicing Abstractions