A mechanized semantic framework for real-time systems

DOI10.1007/978-3-642-40229-6_8MaRDI QIDQ2842665zbMATH OpenOpenAlexFDO

Authors Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali Amine

Publication date 16 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40229-6_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 49713
• Specification and Proof in Real Time CSP
• An action-based formal model for concurrent real-time systems
• Fundamental Approaches to Software Engineering
• Automated compositional proofs for real-time systems

Cited in

(6)

• On the semantics of polychronous polytimed specifications
• Formalized timed automata
• Real-time semantics of state transition for embedded control systems
• scientific article; zbMATH DE number 4084987 (Why is no real title available?)
• Verified certification of reachability checking for timed automata
• A Formal Development of a Polychronous Polytimed Coordination Language

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A mechanized semantic framework for real-time systems

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