LTSmin
From MaRDI portal
Cited in
(68)- pyModelChecking
- Sylvan
- mCRL2
- libDDD
- DiVinE
- LoLA
- Renew
- Extended dependency graphs and efficient distributed fixed-point computation
- CADP
- Exp.Open
- Ensuring liveness properties of distributed systems: open problems
- BDDNOW
- FORCE
- Social bot detection as a temporal logic model checking problem
- TVT
- Tom
- BEEM
- JITty
- Efficient strategies for CEGAR-based model checking
- SMI++
- CAESAR_SOLVE
- Strategies, model checking and branching-time properties in Maude
- Compositional verification of asynchronous concurrent systems using CADP
- Nested-unit Petri nets
- fc2tools
- FDR3
- MARCIE
- PAT
- opaal
- Wolverine
- Metalevel transformation of strategies
- Petriweb
- ORME
- Automated formal analysis and verification: an overview
- nuXmv
- Multi-core nested depth-first search
- Process algebra and model checking
- Mec 5
- LNT2LOTOS
- Model checking data flows in concurrent network updates
- REDLIB
- VERSA
- Murphi
- ANaConDA
- PNML2NUPN
- NUPN_INFO
- CAESAR
- PNMC
- Meddly
- caesar.bdd
- ITS-Tools
- LOEWE
- mCRL
- Anteater
- AdamMC
- zUpdate
- Kuai
- Improved multi-core nested depth-first search
- Multi-core Reachability for Timed Automata
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- Automated verification of parallel nested DFS
- A CTL* Model Checker for Petri Nets
- Quo vadis explicit-state model checking
- An overview of the mCRL2 toolset and its recent advances
- EPFL
- Oink
- Extended beam search for non-exhaustive state space analysis
- Optimising the ProB model checker for B using partial order reduction
This page was built for software: LTSmin
