Compositional verification of real-time applications

DOI10.1007/3-540-49213-5_10MaRDI QIDQ7010073zbMATH OpenFDO

Authors Jozef Hooman

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_10

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)

Cites work

• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• scientific article; zbMATH DE number 1001709 (Why is no real title available?)
• scientific article; zbMATH DE number 3956417 (Why is no real title available?)
• scientific article; zbMATH DE number 3963180 (Why is no real title available?)
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Modularity for timed and hybrid systems
• Nets, Terms and Formulas
• Verifying part of the ACCESS.bus protocol using PVS

This page was built for publication: Compositional verification of real-time applications

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