Searching for "Analysis and Verification of Real-Time Systems." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Analysis and Verification of Real-Time Systems using Quantitative Symbolic Algorithms
- …1 Analysis and Verification of Real-Time Systems using Quantitative Symbolic Algorithms Srgio…
- Cited by 7 (0 self) – Add To MetaCart
-
Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools
- … for the specification, analysis and verification of real time systems. Particularly striking is the progress…
- Cited by 6 (0 self) – Add To MetaCart
-
Timed and Hybrid Automata
- …, analysis and verification of real-time systems. Particularly striking is the progress in continuous time…
- Add To MetaCart
-
MOBY/DC - A Tool for Model-Checking Parametric Real-Time Specifications
- … for the analysis and verification of real-time system descriptions that contain timing parameters. We introduce…
- Cited by 3 (2 self) – Add To MetaCart
-
Verification of Real-Time Systems using Linear Relation Analysis
- …Verification of Real-Time Systems using Linear Relation Analysis Nicolas Halbwachs, Yann…
- Cited by 70 (6 self) – Add To MetaCart
-
An Approach to Reducing Verification Complexity of Real-Time Embedded Systems
- … different tools for the analysis and verification of real-time systems based on the Timed Automata (TA…
- Add To MetaCart
-
Minimizing the Impact of Adding a Formal Method to the UML
- …-models – a formal method for the specification, analysis and verification of real-time systems…
- Add To MetaCart
-
Language-based support for service oriented architectures: Future directions
- …. The focus is primarily on a design methodology, but not on analysis and verification of real-time systems…
- Cited by 1 (0 self) – Add To MetaCart
-
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
- … these ideas into a tool for the analysis and verification of real-time systems, the Verus tool, currently…
- Cited by 26 (10 self) – Add To MetaCart
Showing 1 through 9.
