Back to Search
Start Over
Action-based Verification of RTCP-nets with CADP.
- Source :
-
AIP Conference Proceedings . 2015, Vol. 1702, p1-4. 4p. 1 Color Photograph, 2 Diagrams, 1 Chart. - Publication Year :
- 2015
-
Abstract
- The paper presents an RTCP-nets' (real-time coloured Petri nets) coverability graphs into Aldebaran format translation algorithm. The approach provides the possibility of automatic RTCP-nets verification using model checking techniques provided by the CADP toolbox. An actual fire alarm control panel system has been modelled and several of its crucial properties have been verified to demonstrate the usability of the approach. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 0094243X
- Volume :
- 1702
- Database :
- Academic Search Index
- Journal :
- AIP Conference Proceedings
- Publication Type :
- Conference
- Accession number :
- 112186013
- Full Text :
- https://doi.org/10.1063/1.4938887