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