Extending Symmetry Reduction Techniques to a...
URL: https://inria.hal.science/inria-00089491
Dataset description:
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be...
Source: Extending Symmetry Reduction Techniques to a Realistic Model of Computation
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 8, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 6 months ago |
| Id | bfbac982-1b85-41ec-b7f4-d7c315f859b9 |
| Package id | oai-hal-inria-00089491v1 |
| Resource type | HTML |
| State | active |