Decomposing Integrated Specifications for Verification

DOI10.1007/978-3-540-73210-5_24zbMATH Open1213.68384OpenAlexW1519031983MaRDI QIDQ3608894FDOQ3608894

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)

Cited In (3)

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

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Natural projection as partial model checking 👍 👎

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)