Slicing software for model construction

DOI10.1023/A:1026599015809zbMath0972.68021MaRDI QIDQ1595472

Matthew B. Dwyer, Hongjun Zheng, John Hatcliff

Publication date: 11 February 2001

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

finite-state verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (13)

Lazy slicing for state-space exploration ⋮ Feature interaction detection by pairwise analysis of LTL properties -- A case study ⋮ From NuSMV to SPIN: Experiences with model checking flight guidance systems ⋮ An automatic method for the dynamic construction of abstractions of states of a formal model ⋮ Correctly Slicing Extended Finite State Machines ⋮ A trajectory-based strict semantics for program slicing ⋮ Slicing for modern program structures: a theory for eliminating irrelevant loops ⋮ A local approach for temporal model checking of Java bytecode ⋮ Actor-based slicing techniques for efficient reduction of Rebeca models ⋮ Verification of Software Product Lines with Delta-Oriented Slicing ⋮ Slicing techniques for verification re-use ⋮ Next-preserving branching bisimulation ⋮ Translating Java for multiple model checkers: The Bandera back-end

This page was built for publication: Slicing software for model construction