Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
From MaRDI portal
Publication:903501
DOI10.1007/S00165-015-0340-4zbMATH Open1328.68108OpenAlexW966662723MaRDI QIDQ903501FDOQ903501
Mark Alexander Reynolds, Tim French, Omar Al-Bataineh
Publication date: 6 January 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-015-0340-4
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Formal Methods for the Design of Real-Time Systems
- A theory of timed automata
- Lectures on Concurrency and Petri Nets
- Automated Technology for Verification and Analysis
- Forward analysis of updatable timed automata
- Title not available (Why is that?)
- Fast Acceleration of Ultimately Periodic Relations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- How to stop time stopping
- Formal Modeling and Analysis of Timed Systems
- Computer Aided Verification
- Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
- Automatic Generation of Invariants for Circular Derivations in SUP(LA)
- Exact acceleration of real-time model checking
- Title not available (Why is that?)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Cited In (1)
Uses Software
This page was built for publication: Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q903501)
