Uppaal
From MaRDI portal
swMATH4702MaRDI QIDQ16871FDOQ16871
Author name not available (Why is that?)
Official website: https://uppaal.org/
Cited In (only showing first 100 items - show all)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- Tools and Algorithms for the Construction and Analysis of Systems
- IMITATOR
- ObjectCheck
- SENAC
- SIGREF
- Title not available (Why is that?)
- Omola
- TAPAAL
- Title not available (Why is that?)
- TopSpin
- Rabbit
- Title not available (Why is that?)
- Ada95
- M-TREE
- LoLA
- CUDD
- PetriNets
- Punf
- PASS
- Benchmarks
- SLMC
- Cheddar
- TLA
- JOBSHOP
- ARMC
- CADP
- ScicosLab
- PPL
- Torsche
- MONA
- Maude
- MATISSE
- COMICS
- Vooduu
- BPEL2oWFN
- COWS
- Fiacre
- B4Free
- Rodin
- LTSmin
- mctau
- iFEST
- SWMM5
- Z2sal
- HSolver
- TorX
- Ptolemy
- STG
- Ultimate Automizer
- Spin-to-Grape
- SymmSpin
- VESTA
- SPOT
- Bandera
- ETCH
- jSpin
- Java PathFinder
- Cadence SMV
- PROMELA
- Oris
- SymmExtractor
- MR4UM
- CESAR
- PMaude
- PVeStA
- Sycraft
- Vertaf
- Bebop
- Giotto
- LUSTRE
- M-nets
- MCMAS
- Rebeca
- AutoMOTGen
- PlusCal
- SysML
- gmm++
- PyEcdar
- HighSpec
- COSTABS
- dSPIN
- Petrify
- S-TaLiRo
- Sumatra
- LearnLib
- Viptos
- Verics
- vUML
- Ymer
- SLAB
- TLC
- Pinapa
- SCOOT
- TVT
- VATA
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
- Möbius
- TAPAAL 2.0: integrated development environment for timed-arc Petri nets
- MTSA
This page was built for software: Uppaal
