LTSmin
From MaRDI portal
Software:19265
No author found.
Related Items (21)
Automated Verification of Parallel Nested DFS ⋮ Multi-core Nested Depth-First Search ⋮ Process Algebra and Model Checking ⋮ Social bot detection as a temporal logic model checking problem ⋮ Extended dependency graphs and efficient distributed fixed-point computation ⋮ An Overview of the mCRL2 Toolset and Its Recent Advances ⋮ Metalevel transformation of strategies ⋮ A CTL* Model Checker for Petri Nets ⋮ Nested-unit Petri nets ⋮ Efficient strategies for CEGAR-based model checking ⋮ Unnamed Item ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Improved Multi-Core Nested Depth-First Search ⋮ Multi-core Reachability for Timed Automata ⋮ Quo Vadis Explicit-State Model Checking ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Optimising the ProB model checker for B using partial order reduction ⋮ Automated formal analysis and verification: an overview ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for software: LTSmin
