Kronos
From MaRDI portal
swMATH1270MaRDI QIDQ14010FDOQ14010
Author name not available (Why is that?)
Official website: http://www-verimag.imag.fr/DIST-TOOLS/TEMPO/kronos/
Cited In (only showing first 100 items - show all)
- Timed recursive state machines: expressiveness and complexity
- Formal Modeling and Analysis of Timed Systems
- Interrupt timed automata: verification and expressiveness
- Lectures on Concurrency and Petri Nets
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Specification of real-time and hybrid systems in rewriting logic
- On reachability and minimum cost optimal control
- Verification of timed automata via satisfiability checking
- Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
- Updatable timed automata
- Model checking of biological systems
- Automatic verification of real-time systems with discrete probability distributions.
- Title not available (Why is that?)
- DDDLIB
- IMITATOR
- ObjectCheck
- SENAC
- SIGREF
- TAPAAL
- Title not available (Why is that?)
- Rabbit
- M-TREE
- PetriNets
- Punf
- Cheddar
- CADP
- Uppaal
- DREAM Tool
- HSolver
- Ptolemy
- Exp.Open
- Oris
- Augur 2
- CESAR
- Giotto
- M-nets
- Rebeca
- HeerHugo
- Petrify
- McAiT
- Verics
- Casaal
- vUML
- Ymer
- UMDES
- Pinapa
- CAESAR_SOLVE
- SCOOT
- RAVEN
- d/dt
- DisCo
- TVT
- SAHA-Tool
- Dixit
- ZenoTool
- ArgoUML
- UniForM
- TURTLE-P
- RAMAS
- RoVerGeNe
- CoVer
- APMC
- Shrinktech
- InVeSt
- Tempo
- CMC
- fc2tools
- SABRE
- PAT
- opaal
- Synthia
- UPPAAL TIGA
- GloMoSim
- SynchAADL2Maude
- TSMV
- Concurrency Workbench
- Metropolis
- PEP
- ICS
- ac2lus
- STeP
- R-Charon
- HyComp
- Mec 5
- DCVALID
- IDLVALID
- REDLIB
- VERSA
- XTL
- Modechart
- UPPAAL CORA
- ABCL
- Timed Automata
- mCRL
- TarTar
- Model checking for probabilistic timed automata
- Symbolic model checking for probabilistic timed automata
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
- A survey of timed automata for the development of real-time systems
- Model checking weighted integer reset timed automata
This page was built for software: Kronos