Slicing Abstractions

DOI10.1007/978-3-540-75698-9_2MaRDI QIDQ3508510zbMATH OpenOpenAlexFDO

Authors Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, 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)

Recommendations

• scientific article; zbMATH DE number 5506101
• Slicing software for model construction
• Abstract State Machines 2004. Advances in Theory and Practice
• Lazy slicing for state-space exploration
• Abstraction and abstraction refinement

Cited in

(12)

• Efficient strategies for CEGAR-based model checking
• Causality-based game solving
• Efficient model checking of hardware using conditioned slicing
• Splitting via Interpolants
• Unified mathematical framework for slicing and symmetry reduction over event structures
• Interpolation and SAT-based model checking revisited: adoption to software verification
• Verification by gambling on program slices
• scientific article; zbMATH DE number 5506101 (Why is no real title available?)
• SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
• Refinement of Trace Abstraction
• A configurable CEGAR framework with interpolation-based refinements
• Correctly slicing extended finite state machines

Describes a project that uses

Uses Software

• BLAST

This page was built for publication: Slicing Abstractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3508510)