SPIN
From MaRDI portal
SPIN Q15987
Cited in
(only showing first 100 items - show all)- Reconciling statechart semantics
- Refinement and verification in component-based model-driven design
- A queue based mutual exclusion algorithm
- Temporal logic motion planning for dynamic robots
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- Search algorithms for automated validation
- Tool support for learning Büchi automata and linear temporal logic
- Partitioned PLTL model-checking for refined transition systems
- Types and trace effects for object orientation
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- A rigorous methodology for specification and verification of business processes
- Reducing concurrent analysis under a context bound to sequential analysis
- Integration of verification methods for program systems
- Automatic symmetry detection for Promela
- Developing topology discovery in Event-B
- Towards automated software model checking using graph transformation systems and bogor
- ACL2
- CLPS-B
- CUTE
- CVPP
- Formal verification of a railway interlocking system using model checking
- D-Finder
- dSL
- jETI
- MCGP
- MetaGame
- VirtuosoNext
- MPI-CHECK
- ObjectCheck
- OCL2AC
- Seminator 2
- Texada
- Sally
- Btor2Tools
- Sylvan
- REGAL
- SCADE
- SIGREF
- SYNTHESIS
- TAPAAL
- TopSpin
- WSAT
- Zing
- PRISM
- Klava
- Alloy
- Lutess
- CPN/Tools
- Kronos
- Saturn
- FocusCheck
- Cogent
- GeneSyst
- TREX
- TIMES
- COMBINE
- OpenMusic
- eXist
- jMoped
- jContractor
- veriSoft
- mCRL2
- rCOS
- MoDeST
- GreatSPN 1.7
- FoCs
- Uppaal2k
- SecureUML
- ConGolog
- MetaKlaim
- HiVy
- DiVer
- Design/CPN
- PiXL
- HySAT
- StEAM
- SyncGen
- ConSpec
- TinyOS
- ToolBus
- ASSET
- SCOOP
- BISIMULATOR
- M-TREE
- YAPA
- ECDAR
- PROGRES
- XYZ/ADL
- AGATHA
- BLAST
- LOTOS
- HOL/SPIN
- MOTOR
- E-LOTOS
- KARO
- SPARK
- SLAM
- PROD
- PEPS
- RAISE
This page was built for software: SPIN
