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
- Nested-unit Petri nets
- Title not available (Why is that?)
- Extended dependency graphs and efficient distributed fixed-point computation
- A CTL* Model Checker for Petri Nets
- Improved Multi-Core Nested Depth-First Search
- Process Algebra and Model Checking
- Automated formal analysis and verification: an overview
- Multi-core Reachability for Timed Automata
- Strategies, model checking and branching-time properties in Maude
- Model Checking Data Flows in Concurrent Network Updates
- Optimising the ProB model checker for B using partial order reduction
- Social bot detection as a temporal logic model checking problem
- An Overview of the mCRL2 Toolset and Its Recent Advances
- Metalevel transformation of strategies
- Quo Vadis Explicit-State Model Checking
- Compositional verification of asynchronous concurrent systems using CADP
- Multi-core Nested Depth-First Search
- Extended beam search for non-exhaustive state space analysis
- Ensuring liveness properties of distributed systems: open problems
- Automated Verification of Parallel Nested DFS
This page was built for software: LTSmin
