Slicing Concurrent Real-Time System Specifications for Verification

DOI10.1007/978-3-540-73210-5_4zbMATH Open1213.68366OpenAlexW1499231916MaRDI QIDQ3608880FDOQ3608880

Ingo Brückner

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_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Title not available (Why is that?)
• Model checking duration calculus: a practical approach
• Automatic verification of combined specifications: an overview
• Next-preserving branching bisimulation

Uses Software

• ARMC

   Recommendations

• ZB 2005: Formal Specification and Development in Z and B 👍 👎
• Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters 👍 👎
• Optimizing slicing of formal specifications by deductive verification 👍 👎
• Title not available (Why is that?) 👍 👎
• Automatic verification of combined specifications: an overview 👍 👎

This page was built for publication: Slicing Concurrent Real-Time System Specifications for Verification

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