Parametric verification: an introduction
From MaRDI portal
Publication:2032913
DOI10.1007/978-3-662-60651-3_3zbMath1464.68224arXiv1907.00555MaRDI QIDQ2032913
Laure Petrucci, Wojciech Penczek, Michał Knapik, Étienne André, Didier Lime
Publication date: 14 June 2021
Full work available at URL: https://arxiv.org/abs/1907.00555
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Timed automata relaxation for reachability, On completeness of liveness synthesis for parametric timed automata (Extended Abstract)