Back to Search
Start Over
State-based Verification of RTCP-nets with nuXmv.
- Source :
-
AIP Conference Proceedings . 2015, Vol. 1702, p1-4. 4p. 2 Diagrams. - Publication Year :
- 2015
-
Abstract
- The paper deals with an algorithm of translation of RTCP-nets' (real-time coloured Petri nets) coverability graphs into nuXmv state machines. The approach enables users to verify RTCP-nets with model checking techniques provided by the nuXmv tool. Full details of the algorithm are presented and an illustrative example of the approach usefulness is provided. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 0094243X
- Volume :
- 1702
- Database :
- Academic Search Index
- Journal :
- AIP Conference Proceedings
- Publication Type :
- Conference
- Accession number :
- 112186014
- Full Text :
- https://doi.org/10.1063/1.4938888