Transformational Verification of Parameterized Protocols Using Array Formulas

DOI10.1007/11680093_3zbMath1156.68474OpenAlexW1862280384MaRDI QIDQ5302878

Valerio Senni, Alberto Pettorossi, Maurizio Proietti

Publication date: 15 January 2009

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11680093_3

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: Transformational Verification of Parameterized Protocols Using Array Formulas