scientific article; zbMATH DE number 5506101

MaRDI QIDQ3601408zbMATH OpenFDO

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

Publication date 10 February 2009

zbMATH Keywords

abstractionCraig interpolationslicingverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Slicing Abstractions
• Abstract State Machines 2004. Advances in Theory and Practice
• scientific article; zbMATH DE number 2006645
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Techniques and applications of computation slicing
• Slicings, Selections and Their Applications
• An overview of slicing techniques for object-oriented programs
• Program Slicing

Cited in

(8)

• A unifying view on SMT-based software verification
• Unified mathematical framework for slicing and symmetry reduction over event structures
• Lazy slicing for state-space exploration
• Efficient model checking of hardware using conditioned slicing
• Incremental computation of succinct abstractions for hybrid systems
• Correctly slicing extended finite state machines
• Slicing Abstractions
• Actor-based slicing techniques for efficient reduction of Rebeca models

This page was built for publication:

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