Abstract
We show how to exploit symmetry in model checking for concurrent systems containing many identical or isomorphic components. We focus in particular on those composed of many isomorphic processes. In many cases we are able to obtain significant, even exponential, savings in the complexity of model checking.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have