CADP
From MaRDI portal
swMATH4993MaRDI QIDQ17140FDOQ17140
Author name not available (Why is that?)
Official website: http://cadp.inria.fr/
Cited In (only showing first 100 items - show all)
- Efficient approximation of optimal control for continuous-time Markov games
- Efficient approximation of optimal control for continuous-time Markov games
- Nested-unit Petri nets
- The Korrigan environment
- Interactive Markov chains. And the quest for quantified quality
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- Sigref – A Symbolic Bisimulation Tool Box
- Improving time bounded reachability computations in interactive Markov chains
- Model checking of biological systems
- Galileo
- GreatSPN
- SIGREF
- TAPAAL
- Title not available (Why is that?)
- Tiburon
- M-TREE
- SHARPE
- SMART_
- MWB
- Renew
- CEGAR
- Uppaal
- Reo
- BPEL2oWFN
- Fiacre
- Atelier B
- Rodin
- LTSmin
- Orc
- TorX
- STG
- TaPAS
- SCOOP
- csp2B
- Exp.Open
- SPNP
- Dryad
- PlusCal
- SysML
- Joeq
- CAESAR_SOLVE
- JITty
- SMI++
- TVT
- VLTS Benchmark Suite
- PEPA
- RoVerGeNe
- FDR2
- InVeSt
- CMC
- fc2tools
- FDR3
- Polychrony
- DIFtree
- MARCIE
- SABRE
- PIC2LNT
- McScM
- Concurrency Workbench
- LOTOSphere
- Petriweb
- Omega
- ITACA
- ADABU
- BESERIAL
- GRL
- Automated compositional Markov chain generation for a plain-old telephone system
- Ergo 6
- DLC
- Mec 5
- LNT2LOTOS
- AADL
- Murphi
- VERSA
- XTL
- AGREE
- DryadLINQ
- KORRIGAN
- REFINER
- Salsa
- CAESAR
- caesar.bdd
- LOEWE
- NUPN_INFO
- PNML2NUPN
- PNMC
- mCRL
- INA
- Apache Flink
- iscasMc
- TarTar
- Encodability_Process_Calculi
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Compositional verification of asynchronous concurrent systems using CADP
- Deciding choreography realizability
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs
- Möbius
- Computation Tree Regular Logic for Genetic Regulatory Networks
- PIC2LNT: model transformation for model checking an applied pi-calculus
- Probabilistic model checking for energy-utility analysis
This page was built for software: CADP
