Towards Incrementalization of Holistic Hyperproperties

DOI10.1007/978-3-642-28641-4_18zbMath1353.68179OpenAlexW139017429MaRDI QIDQ2894331

Dave Clarke, Dimiter Milushev

Publication date: 29 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28641-4_18

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: Towards Incrementalization of Holistic Hyperproperties