Slicing Abstractions
From MaRDI portal
Publication:3508510
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
Related Items
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
