A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems

DOI10.1007/978-3-540-39910-0_7zbMath1274.68178OpenAlexW1607889552MaRDI QIDQ5305640

Manfred Broy

Publication date: 23 March 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-540-39910-0_7

Mathematics Subject Classification ID

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

Related Items (1)

Specification and verification of concurrent systems by causality and realizability

This page was built for publication: A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems