A partial order semantics approach to the clock explosion problem of timed automata

DOI10.1016/J.TCS.2005.07.023MaRDI QIDQ2575733zbMATH OpenOpenAlexFDO

Authors D. Lugiez, Peter Niebert, S. Zennou

Publication date 6 December 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.07.023

zbMATH Keywords

AlgorithmsPartial orderTimed automataVerification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Adding Invariants to Event Zone Automata
• scientific article; zbMATH DE number 1361136
• SAT based bounded model checking with partial order semantics for timed automata
• On Interleaving in Timed Automata

Cites work

• A theory of timed automata
• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 1956585 (Why is no real title available?)
• scientific article; zbMATH DE number 1796155 (Why is no real title available?)
• scientific article; zbMATH DE number 1864593 (Why is no real title available?)
• scientific article; zbMATH DE number 2102717 (Why is no real title available?)
• Kronos: A verification tool for real-time systems
• Model-checking for real-time systems
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Partial-order reduction techniques for real-time model checking
• Symbolic model checking for real-time systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(17)

• Delay-dependent partial order reduction technique for real time systems
• Detecting quasi-equal clocks in timed automata
• Performance evaluation of schedulers in a probabilistic setting
• Model Checking Real-Time Systems
• Adding Invariants to Event Zone Automata
• Distributed Timed Automata with Independently Evolving Clocks
• Regular set of representatives for time-constrained MSC graphs
• A concurrency-preserving translation from time Petri nets to networks of timed automata
• Structural transformations for data-enriched real-time systems
• Partial order reduction for checking soundness of time workflow nets
• Tools and Algorithms for the Construction and Analysis of Systems
• Partial order path technique for checking parallel timed automata
• On Interleaving in Timed Automata
• Revisiting local time semantics for networks of timed automata
• A unified model for real-time systems: symbolic techniques and implementation
• A local-time semantics for negotiations
• Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods

Describes a project that uses

Uses Software

• Kronos

This page was built for publication: A partial order semantics approach to the clock explosion problem of timed automata

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