Dynamic symmetry reduction
From MaRDI portal
Recommendations
Cited in
(29)- Checking extended CTL properties using guarded quotient structures
- A heuristic for symmetry reductions with scalarsets
- Efficient reduction techniques for systems with many components
- A coalgebraic representation of reduction by cone of influence
- Families of symmetries as efficient models of resource binding
- ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM
- scientific article; zbMATH DE number 1805668 (Why is no real title available?)
- Symmetric Reductions
- Symmetry reduction in infinite games with finite branching
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- Extending Symmetry Reduction by Exploiting System Architecture
- A data symmetry reduction technique for temporal-epistemic logic
- Symmetry and reduced symmetry in model checking
- Symmetry reduction criteria for software model checking
- Symbolic localization reduction with reconstruction layering and backtracking
- Efficient symmetry reduction and the use of state symmetries for symbolic model checking
- Vector symmetry reduction
- Extending symmetry reduction techniques to a realistic model of computation
- Combining techniques to reduce state space and prove strong properties
- Adaptive Symmetry Reduction
- Computer Aided Verification
- Formal Modeling and Analysis of Timed Systems
- An adaptive prefix-assignment technique for symmetry reduction
- Context-aware counter abstraction
- Model and program repair via group actions
- A lazy approach to symmetry reduction
- Symbolic observation graph-based generation of test paths
- Model and program repair via group actions and structure unwinding
- On the constructive orbit problem
This page was built for publication: Dynamic symmetry reduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703773)
