Decomposing Integrated Specifications for Verification

DOI10.1007/978-3-540-73210-5_24MaRDI QIDQ3608894zbMATH OpenOpenAlexFDO

Authors Björn Metzler

Publication date 6 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_24

zbMATH Keywords

decompositionmodel checkingcompositional verificationprogram slicingintegrated formal specifications

Mathematics Subject Classification ID

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

Recommendations

• Optimizing slicing of formal specifications by deductive verification
• Slicing Concurrent Real-Time System Specifications for Verification
• ZB 2005: Formal Specification and Development in Z and B
• scientific article; zbMATH DE number 2013588
• Natural projection as partial model checking

Cited in

(3)

• Proving correctness w.r.t. specifications with hidden parts
• Partial specifications and compositional verification
• Automatic verification of combined specifications: an overview

This page was built for publication: Decomposing Integrated Specifications for Verification

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