Formal Verification of Infinite-State BIP Models

DOI10.1007/978-3-319-24953-7_25zbMath1471.68130OpenAlexW2244544521WikidataQ62041123 ScholiaQ62041123MaRDI QIDQ3460575

Marco Roveri, Sergio Mover, Qiang Wang, Simon Bliudze, Mohamad Y. Jaber, Wajeb Saab, Alessandro Cimatti

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: http://infoscience.epfl.ch/record/211062

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)

This page was built for publication: Formal Verification of Infinite-State BIP Models