A Robust Specification Theory for Modal Event-Clock Automata
Uli Fahrenberg (INRIA), Axel Legay (INRIA)
TL;DR
This paper develops a robust specification theory for timed systems using a general framework for quantitative reasoning, enhancing the formal analysis of timed automata.
Contribution
It applies a general quantitative reasoning framework to create a robust specification theory specifically for modal event-clock automata.
Findings
Provides a formal foundation for robust timed specifications
Enables quantitative reasoning in timed automata
Improves the analysis and verification of timed systems
Abstract
In a series of recent work, we have introduced a general framework for quantitative reasoning in specification theories. The contribution of this paper is to show how this framework can be applied to yield a robust specification theory for timed specifications.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.