Slicing software for model construction

DOI10.1023/A:1026599015809MaRDI QIDQ1595472zbMATH OpenFDO

Authors John Hatcliff, Matthew B. Dwyer, Hongjun Zheng

Publication date 11 February 2001

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

Full work available at URL https://doi.org/10.1023/A:1026599015809

zbMATH Keywords

finite-state verification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4105520
• Slicing for architectural analysis
• A formal framework for incremental model slicing
• scientific article; zbMATH DE number 7551769

Cited in

(27)

• Cut branches before looking for bugs: certifiably sound verification on relaxed slices
• Property-based slicing for agent verification
• Slicing techniques for verification re-use
• Efficient model checking of hardware using conditioned slicing
• Slicing communicating automata specifications: Polynomial algorithms for model reduction
• Approach of concurrent object-oriented program slicing based on LTL property
• Slicing behavior tree models for verification
• An automatic method for the dynamic construction of abstractions of states of a formal model
• Actor-based slicing techniques for efficient reduction of Rebeca models
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• Cut branches before looking for bugs: sound verification on relaxed slices
• scientific article; zbMATH DE number 1949623 (Why is no real title available?)
• Lazy slicing for state-space exploration
• Verification by gambling on program slices
• Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
• From NuSMV to SPIN: Experiences with model checking flight guidance systems
• A local approach for temporal model checking of Java bytecode
• SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
• Slicing Abstractions
• scientific article; zbMATH DE number 7551769 (Why is no real title available?)
• Software model checking by program specialization
• A trajectory-based strict semantics for program slicing
• Slicing for modern program structures: a theory for eliminating irrelevant loops
• Verification of software product lines with delta-oriented slicing
• Translating Java for multiple model checkers: The Bandera back-end
• Correctly slicing extended finite state machines
• Next-preserving branching bisimulation

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

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