Slicing Concurrent Real-Time System Specifications for Verification
DOI10.1007/978-3-540-73210-5_4zbMATH Open1213.68366OpenAlexW1499231916MaRDI QIDQ3608880FDOQ3608880
Authors: 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
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
- scientific article; zbMATH DE number 2086956
- Automatic verification of combined specifications: an overview
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 (10)
- Slicing communicating automata specifications: Polynomial algorithms for model reduction
- Decomposing Integrated Specifications for Verification
- ZB 2005: Formal Specification and Development in Z and B
- Title not available (Why is that?)
- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
- Model checking duration calculus: a practical approach
- Optimizing slicing of formal specifications by deductive verification
- The MEB and CEB Static Analysis for CSP Specifications
- Automatic verification of combined specifications: an overview
- Next-preserving branching bisimulation
Uses Software
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)
