SPIN
From MaRDI portal
Software:15987
swMATH3455MaRDI QIDQ15987FDOQ15987
Author name not available (Why is that?)
Official website: http://spinroot.com/spin/whatispin.html
Cited In (only showing first 100 items - show all)
- SPOT
- UFO
- CESAR
- BDDNOW
- Atomizer
- Bebop
- Gauss
- Eraser
- Giotto
- LUSTRE
- FORCE
- Cunf
- MAS-SOC
- Alcoa
- CheckVML
- KLAIM
- MARMOT
- DESUMA
- Velodrome
- GROOVE
- Multilisp
- GIDDES
- MCMAS
- MCK
- LLBMC
- OFMC
- Rebeca
- CBMC
- SATMC
- PlusCal
- SOCLE
- SysML
- BEEM
- PyEcdar
- HighSpec
- dSPIN
- Checkfence
- CVT
- ESBMC
- FeaVer
- JPAX
- Symgrid
- CCured
- Viptos
- Verics
- vUML
- Ymer
- YASM
- SCELlight
- Orion
- TLAPS
- TLC
- UMDES
- KIV
- CAESAR_SOLVE
- SCOOT
- JITty
- MOPS
- VMC
- SMI++
- LOOP
- JFLAP
- TVLA
- Web-TLR
- TeMP
- TLPVS
- GroupKit
- UMM
- SIMGRID
- ArgoUML
- Z/EVES
- Z
- FaPAS
- HARE
- Charmy
- LTLCon
- LTL2BA
- Nighthawk
- SWORD
- RoVerGeNe
- SPARK Pro
- FDR2
- NModel
- PIPER
- JADE
- Jadex
- BACH
- SpecExplorer
- Mcmt
- InVeSt
- marga
- Perracotta
- NRL
- FDR3
- Polychrony
- PATUS
- GPU Quicksort
- Traffic 4
- UMLsec
- MTSA
This page was built for software: SPIN
