LTSmin
From MaRDI portal
Software:19265
swMATH7214MaRDI QIDQ19265FDOQ19265
Author name not available (Why is that?)
Cited In (21)
- 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
- 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
- Metalevel transformation of strategies
- Compositional verification of asynchronous concurrent systems using CADP
- Improved multi-core nested depth-first search
- 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
