Parametric verification: an introduction

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

Mathematics Subject Classification ID

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)