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

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

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)

Cited In (4)

• On Local Reasoning in Verification
• On invariant synthesis for parametric systems
• Model checking duration calculus: a practical approach
• Automatic verification of combined specifications: an overview

   Recommendations

• Automatic verification of combined specifications: an overview 👍 👎
• FM 2005: Formal Methods 👍 👎
• Title not available (Why is that?) 👍 👎
• Slicing Concurrent Real-Time System Specifications for Verification 👍 👎
• Title not available (Why is that?) 👍 👎

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)