Lazy slicing for state-space exploration

DOI10.1007/s11390-012-1271-7zbMath1280.68123OpenAlexW2082289059MaRDI QIDQ2637297

Tao Zhang, Hong-Tao Huang, Zhiyuan Chen, Tian-Yang Lv, Shao-bin Huang

Publication date: 11 February 2014

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11390-012-1271-7

zbMATH Keywords

local refinementcounterexample-guided abstraction refinementlazy slicingover-approximate slicingspurious counterexample

Mathematics Subject Classification ID

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

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Actor-based slicing techniques for efficient reduction of Rebeca models
• Slicing software for model construction
• Slicing Behavior Tree Models for Verification
• Explaining Counterexamples Using Causality
• Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
• Lazy abstraction
• Counterexample-guided focus
• Model Checking Software
• Computer Aided Verification
• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication: Lazy slicing for state-space exploration