Partial order reductions
From MaRDI portal
Recommendations
Cited in
(33)- Partial-order reduction techniques for real-time model checking
- A partial order approach to branching time logic model checking.
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Approximate partial order reduction
- Partial Sheffer operations
- A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
- A geometric view of partial order reduction
- scientific article; zbMATH DE number 1612485 (Why is no real title available?)
- Distributed partial order reduction of state spaces
- Partial order reduction for rewriting semantics of programming languages
- Trace spaces: an efficient new technique for state-space reduction
- Partial-Order Reduction
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- Partial Order Reduction for Markov Decision Processes: A Survey
- Exploring the scope for partial order reduction
- scientific article; zbMATH DE number 1059330 (Why is no real title available?)
- scientific article; zbMATH DE number 1497783 (Why is no real title available?)
- scientific article; zbMATH DE number 1515293 (Why is no real title available?)
- scientific article; zbMATH DE number 1538043 (Why is no real title available?)
- scientific article; zbMATH DE number 1538051 (Why is no real title available?)
- Transparent partial order reduction
- scientific article; zbMATH DE number 1864593 (Why is no real title available?)
- Unfolding-based partial order reduction
- Partial order reduction for security protocols
- On Reduction Criteria for Probabilistic Reward Models
- Model Checking Software
- Peephole Partial Order Reduction
- Correct Hardware Design and Verification Methods
- Partial order reduction for reachability games
- Partial-order reduction in the weak modal mu-calculus
- A pragmatic approach to stateful partial order reduction
- What's wrong with on-the-fly partial order reduction
- Combining partial-order reductions with on-the-fly model-checking.
This page was built for publication: Partial order reductions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4503926)
