Parameterized compositional model checking

DOI10.1007/978-3-662-49674-9_39zbMath1420.68136OpenAlexW2462602917MaRDI QIDQ2272926

Richard Trefler, Kedar S. Namjoshi

Publication date: 17 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-662-49674-9_39

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Compositional verification of smart contracts through communication abstraction ⋮ Cut-off theorems for the \textit{PV}-model

This page was built for publication: Parameterized compositional model checking