Searching for "The Tool KRONOS." – sorted by Relevance.
85 documents found, showing 1 through 10.
Next 10 →
-
The tool Kronos
- …The tool Kronos ? C. Daws ?? A. Olivero ??? S. Tripakis ?? S. Yovine ?? VERIMAG y…
- Cited by 209 (34 self) – Add To MetaCart
-
Verification of the Fast Reservation Protocol with Delayed Transmission using the tool Kronos
- …Verification of the Fast Reservation Protocol with Delayed Transmission using the tool Kronos y…
- Cited by 10 (1 self) – Add To MetaCart
-
Kronos: A Verification Tool for Real-Time Systems. (Kronos User's Manual Release 2.2)
- …Kronos: A Verification Tool for Real-Time Systems. (Kronos User's Manual Release 2.2) Sergio…
- Cited by 4 (0 self) – Add To MetaCart
-
Taxys = Esterel + Kronos - A tool for verifying real-time properties of embedded systems
- …Taxys- Esterel d- Kronos A tool for verifying real-time properties of embedded systems 1 2 V…
- Cited by 13 (2 self) – Add To MetaCart
-
Job-Shop Scheduling using Timed Automata
- … their implementation in the tool Kronos on numerous benchmark examples. 1 Introduction A significant part…
- Cited by 32 (8 self) – Add To MetaCart
-
On-the-Fly Symbolic Model Checking for Real-Time Systems
- … algorithm has improved the performances of the tool KRONOS for the verification of the FDDI protocol. 1…
- Cited by 22 (8 self) – Add To MetaCart
-
Checking Timed Büchi Automata Emptiness on Simulation Graphs
- … is used in the tools Kronos and Uppaal for checking reachability. Our result shows that these tools can…
- Cited by 2 (0 self) – Add To MetaCart
-
Improving the Verification of Timed Systems Using Influence Information
- … to that information about relevance of clocks and components. Experiments show that model-checking tools like Kronos…
- Cited by 7 (3 self) – Add To MetaCart
-
Model Checking of Real-Time Reachability Properties Using Abstractions
- …. A prototype implementation in the tool Kronos has permitted to verify two benchmark examples with a…
- Cited by 58 (9 self) – Add To MetaCart
-
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams
- … the results with the state-of-the-art tools Kronos and Uppaal. With an implementation based on difference…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
