State-based Verification of RTCP-nets with nuXmv

Agnieszka Biernacka,Jerzy Biernacki,Marcin Szpyrka

AIP Conference Proceedings（2015）

引用 2|浏览5

暂无评分

摘要

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.

查看译文

关键词

RTCP-nets,Petri nets,nuXmv,NuSMV,translation,verification,model checking,LTL,CTL

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要