State-based verification of RTCP-nets with nuXmv
Agnieszka Biernacka, Jerzy Biernacki, Marcin Szpyrka · AIP conference proceedings · 2015
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.