Slicing software for model construction
From MaRDI portal
Publication:1595472
DOI10.1023/A:1026599015809zbMath0972.68021MaRDI QIDQ1595472
John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
Publication date: 11 February 2001
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Translating Java for multiple model checkers: The Bandera back-end, Feature interaction detection by pairwise analysis of LTL properties -- A case study, From NuSMV to SPIN: Experiences with model checking flight guidance systems, A local approach for temporal model checking of Java bytecode, Slicing techniques for verification re-use