LTSmin
From MaRDI portal
swMATH7214MaRDI QIDQ19265FDOQ19265
Author name not available (Why is that?)
Official website: http://fmt.cs.utwente.nl/tools/ltsmin/
Cited In (65)
- Efficient strategies for CEGAR-based model checking
- Quo vadis explicit-state model checking
- Process algebra and model checking
- Nested-unit Petri nets
- Title not available (Why is that?)
- Model checking data flows in concurrent network updates
- Extended dependency graphs and efficient distributed fixed-point computation
- Sylvan
- A CTL* Model Checker for Petri Nets
- Automated verification of parallel nested DFS
- Automated formal analysis and verification: an overview
- Multi-core Reachability for Timed Automata
- Multi-core nested depth-first search
- 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
- 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
- Metalevel transformation of strategies
- EPFL
- Compositional verification of asynchronous concurrent systems using CADP
- Improved multi-core nested depth-first search
- Oink
- 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
