SPORE: Combining Symmetry and Partial Order Reduction
Abstract
References
Index Terms
- SPORE: Combining Symmetry and Partial Order Reduction
Recommendations
Combining symmetry reduction and under-approximation for symbolic model checking
This work presents a collection of methods that integrate symmetry reduction and under-approximation with symbolic model checking in order to reduce space and time. The main objective of these methods is falsification. However, under certain conditions, ...
On-the-Fly Model Checking Under Fairness that Exploits Symmetry
An on-the-fly algorithm for model checking under fairness is presented. The algorithm utilizes symmetry in the program to reduce the state space, and employs novel techniques that make the on-the-fly model checking feasible. The algorithm uses state ...
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction
Graph TransformationAbstractSymmetry reduction in model checking is a technique for reducing state spaces by exploiting the inherent symmetry of models, i.e., the interchangeability of their subcomponents. Model abstraction, which abstracts away the details of models, often ...
Comments
Information & Contributors
Information
Published In
![cover image Proceedings of the ACM on Programming Languages](/cms/asset/3c01edb7-46fb-4b58-a936-b79392985a62/3554317.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Badges
Author Tags
Qualifiers
- Research-article
Funding Sources
- European Research Council
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 109Total Downloads
- Downloads (Last 12 months)109
- Downloads (Last 6 weeks)53
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in