Parametric Model Checking with VerICS

详细信息    查看全文

• 作者：Micha? Knapik ; Artur Niewiadomski ; Wojciech Penczek ; Agata P¨®?rola ; Maciej Szreter ; et al.
• 刊名：Lecture Notes in Computer Science
• 出版年：2010
• 出版时间：2010
• 年：2010
• 卷：6550
• 期：1
• 页码：98-120
• 全文大小：639.1 KB

文摘

The paper presents the verification system verICS, extended with the three new modules aimed at parametric verification of Elementary Net Systems, Distributed Time Petri Nets, and a subset of UML. All the modules exploit Bounded Model Checking for verifying parametric reachability and the properties specified in the logic PRTECTL – the parametric extension of the existential fragment of CTL.