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)
- Title not available (Why is that?)
- DDDLIB
- IMITATOR
- ObjectCheck
- Romeo
- SENAC
- SIGREF
- TAPAAL
- CPN/Tools
- Title not available (Why is that?)
- Rabbit
- Moby/DC
- MoDeST
- TAXYS
- TREX
- TIMES
- Design/CPN
- Uppaal2k
- StonyCam
- ToolBus
- BISIMULATOR
- TAPS
- M-TREE
- ASTRAL
- AGATHA
- E-LOTOS
- LOTOS
- MOTOR
- IF-2.0
- TINA
- SPIN
- HyTech
- GEZEL
- Maria
- MRMC
- RSOLVER
- 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
- ac2lus
- STeP
- R-Charon
- HyComp
- Mec 5
- DCVALID
- IDLVALID
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
This page was built for software: Kronos
