Parametric model checking with VerICS

DOI10.1007/978-3-642-18222-8_5MaRDI QIDQ3066135zbMATH OpenOpenAlexDBLPWikidataFDO

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

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)

Recommendations

• SAT-based (parametric) reachability for a class of distributed time Petri nets
• Bounded parametric model checking for elementary net systems
• Bounded parametric verification for distributed time Petri nets with discrete-time semantics
• Parametric model-checking of stopwatch Petri nets
• Parametric verification: an introduction

Cited in

(7)

• A survey of timed automata for the development of real-time systems
• Automatizing parametric reasoning on distributed concurrent systems
• Parametric verification: an introduction
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Parameterized Model Checking of Token-Passing Systems
• Bounded parametric model checking for elementary net systems
• SAT-based (parametric) reachability for a class of distributed time Petri nets

Describes a project that uses

Uses Software

• VerICS

This page was built for publication: Parametric model checking with VerICS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066135)