An automatic technique for checking the simulation of timed systems

DOI10.1007/978-3-319-02444-8_7MaRDI QIDQ5166677zbMATH OpenOpenAlexFDO

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

Publication date 8 July 2014

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-02444-8_7

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

• Forward and backward simulations. II: Timing-based systems
• Efficient scaling-invariant checking of timed bisimulation
• Symbolic Simulation-Checking of Dense-Time Automata
• scientific article; zbMATH DE number 1799517
• scientific article; zbMATH DE number 1507209

Cited in

(7)

• Forward and backward simulations. II: Timing-based systems
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Efficient on-the-fly algorithm for checking alternating timed simulation
• scientific article; zbMATH DE number 1903354 (Why is no real title available?)
• Efficient scaling-invariant checking of timed bisimulation
• The dynamic checking of complex real time system
• Automated repair for timed systems

Describes a project that uses

Uses Software

• TINA
• Uppaal
• Fiacre
• Coq

This page was built for publication: An automatic technique for checking the simulation of timed systems

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