Parametric verification: an introduction

DOI10.1007/978-3-662-60651-3_3zbMath1464.68224arXiv1907.00555OpenAlexW3098753623MaRDI 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

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 (3)

On completeness of liveness synthesis for parametric timed automata (Extended Abstract) ⋮ Unnamed Item ⋮ Timed automata relaxation for reachability

This page was built for publication: Parametric verification: an introduction