Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

DOI10.1007/978-3-540-73210-5_13zbMATH1213.68374OpenAlexW1502684417MaRDI QIDQ3608886FDOQ3608886

Authors Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans

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_13

Mathematics Subject Classification ID

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

Recommendations

• Automatic verification of combined specifications: an overview
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 2143088
• Slicing Concurrent Real-Time System Specifications for Verification
• scientific article; zbMATH DE number 2086955

Cited in

(6)

• Slicing Concurrent Real-Time System Specifications for Verification
• On Local Reasoning in Verification
• On invariant synthesis for parametric systems
• FM 2005: Formal Methods
• Automatic verification of combined specifications: an overview
• Model checking duration calculus: a practical approach

This page was built for publication: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

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