| _version_ | 1866901427291422720 |
|---|---|
| author | AJAMI, Khalil Haddad, Serge Ilié, Jean-Michel |
| author_facet | AJAMI, Khalil Haddad, Serge Ilié, Jean-Michel |
| contents | <p>A new method of model checking is proposed based on the existence of symmetries in system. We show how to fully handle the partial symmetries of both properties and systems. Our method does not depend on a particular formalism and a priori can be applied to any one. Well-formed Petri Nets are used as an illustration.</p> <p class="MsoNormal"><strong>This Version is archived in the Arab International University ( <a href="http://www.aiu.edu.sy">www.aiu.edu.sy</a> ) repository for open access and dissemination purposes. The content of this paper has not been modified from the original publication</strong></p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_1007_978-0-387-35533-7 |
| institution | Zenodo |
| language | eng |
| publishDate | 2000 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Formal Methods for Distributed System Development AJAMI, Khalil Haddad, Serge Ilié, Jean-Michel Verification and validation Temporal logic model-checking symmetries partial symmetries Biichi automata well-formed Petri nets. <p>A new method of model checking is proposed based on the existence of symmetries in system. We show how to fully handle the partial symmetries of both properties and systems. Our method does not depend on a particular formalism and a priori can be applied to any one. Well-formed Petri Nets are used as an illustration.</p> <p class="MsoNormal"><strong>This Version is archived in the Arab International University ( <a href="http://www.aiu.edu.sy">www.aiu.edu.sy</a> ) repository for open access and dissemination purposes. The content of this paper has not been modified from the original publication</strong></p> |
| title | Formal Methods for Distributed System Development |
| topic | Verification and validation Temporal logic model-checking symmetries partial symmetries Biichi automata well-formed Petri nets. |
| url | https://doi.org/10.1007/978-0-387-35533-7 |