Search

Showing total 2 results
Start Over Topic ltl Database Academic Search Index Publisher american institute of physics
2 results

1. State-based Verification of RTCP-nets with nuXmv.

Author

Biernacka, Agnieszka, Biernacki, Jerzy, and Szpyrka, Marcin

Subjects
*PETRI nets, *FINITE state machines, *GRAPH theory, *ALGORITHMS, *MATHEMATICAL models, *VERIFICATION of computer systems
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]

Published
2015
Full Text
View/download PDF

2. State-based Verification of RTCP-nets with nuXmv.

Author

Biernacka, Agnieszka, Biernacki, Jerzy, and Szpyrka, Marcin

Subjects
*FINITE state machines, *ALGORITHMS, *PETRI nets, *GRAPH theory, *MATHEMATICAL models
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]

Published
2015
Full Text
View/download PDF