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

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)

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

Cited in

(10)

• Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
• Slicing communicating automata specifications: Polynomial algorithms for model reduction
• The MEB and CEB Static Analysis for CSP Specifications
• Next-preserving branching bisimulation
• Optimizing slicing of formal specifications by deductive verification
• Decomposing Integrated Specifications for Verification
• ZB 2005: Formal Specification and Development in Z and B
• scientific article; zbMATH DE number 2104628 (Why is no real title available?)
• Automatic verification of combined specifications: an overview
• Model checking duration calculus: a practical approach

Describes a project that uses

Uses Software

• ARMC

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)