A stubborn attack on state explosion
From MaRDI portal
Publication:685106
Recommendations
Cites work
- A partial approach to model checking
- A Theory of Communicating Sequential Processes
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- scientific article; zbMATH DE number 177237 (Why is no real title available?)
- scientific article; zbMATH DE number 177239 (Why is no real title available?)
- scientific article; zbMATH DE number 177250 (Why is no real title available?)
- scientific article; zbMATH DE number 177254 (Why is no real title available?)
- scientific article; zbMATH DE number 3511563 (Why is no real title available?)
- Interleaving set temporal logic
- Using partial orders for the efficient verification of deadlock freedom and safety properties
Cited in
(46)- An algorithmic approach for checking closure properties of temporal logic specifications and -regular languages
- A valuation-based analysis of conflict-free Petri nets
- Stubborn versus structural reductions for Petri nets
- More stubborn set methods for process algebras
- Star-topology decoupled state space search
- Difficult configurations -- on the complexity of LTrL
- On stubborn sets in the verification of linear time temporal properties
- Combining static analysis and case-based search space partitioning for reducing peak memory in model checking
- Automata-driven partial order reduction and guided search for LTL model checking
- Exponential automatic amortized resource analysis
- The inconsistent labelling problem of stutter-preserving partial-order reduction
- On commutativity based edge lean search
- An application of temporal projection to interleaving concurrency
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- An expressively complete linear time temporal logic for Mazurkiewicz traces
- More efficient on-the-fly LTL verification with Tarjan's algorithm
- Stutter-invariant temporal properties are expressible without the next-time operator
- AN EXPRESSIVE EXTENSION OF TLC
- Automata theory and model checking
- States that are far from being stabilizer states
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
- Exploring the scope for partial order reduction
- Specification languages for stutter-invariant regular properties
- scientific article; zbMATH DE number 177237 (Why is no real title available?)
- scientific article; zbMATH DE number 177511 (Why is no real title available?)
- scientific article; zbMATH DE number 1278351 (Why is no real title available?)
- scientific article; zbMATH DE number 1515297 (Why is no real title available?)
- Transparent partial order reduction
- scientific article; zbMATH DE number 744059 (Why is no real title available?)
- Model checking linear-time properties of probabilistic systems
- A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction
- Partial-order reduction for parity games with an application on parameterised Boolean equation systems
- scientific article; zbMATH DE number 967392 (Why is no real title available?)
- Stubborn set reduction for two-player reachability games
- Partial order reduction for reachability games
- Star-Topology Decoupling in SPIN
- Partial-order reduction in the weak modal mu-calculus
- An algorithmic approach for checking closure properties of Ω-regular languages
- Model checking LTL using constraint programming
- On Stubborn Sets in the Verification of Linear Time Temporal Properties
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
- Partial order reduction for probabilistic branching time
- Stubborn set reduction for timed reachability and safety games
- Model checking \(\omega \)-regular properties with decoupled search
- Permutation rewriting and algorithmic verification
This page was built for publication: A stubborn attack on state explosion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685106)
