Decomposing Integrated Specifications for Verification

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

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 checkingprogram slicingcompositional verificationintegrated formal specifications

Mathematics Subject Classification ID

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

Related Items (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)