Parametric Model Checking with VerICS

DOI10.1007/978-3-642-18222-8_5zbMath1312.68134DBLPjournals/topnoc/KnapikNPPSZ10OpenAlexW1562437882WikidataQ62045392 ScholiaQ62045392MaRDI QIDQ3066135

Michał Knapik, MacIej Szreter, Artur Niewiadomski, Andrzej Zbrzezny, Agata Półrola, Wojciech Penczek

Publication date: 8 January 2011

Published in: Transactions on Petri Nets and Other Models of Concurrency IV (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18222-8_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ A survey of timed automata for the development of real-time systems

Uses Software

• VerICS

This page was built for publication: Parametric Model Checking with VerICS