A functional calculus for specification and verification of nondeterministic interactive systems

DOI10.1007/978-3-540-39910-0_7MaRDI QIDQ5305640zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Predicative specifications for functional programs describing communicating networks
• scientific article; zbMATH DE number 512959
• scientific article; zbMATH DE number 1303442
• scientific article; zbMATH DE number 4200180
• Mathematics of Program Construction

Cited in

(9)

• How to calculate with nondeterministic functions
• A basic calculus for verifying properties of interacting objects
• scientific article; zbMATH DE number 512959 (Why is no real title available?)
• scientific article; zbMATH DE number 1748588 (Why is no real title available?)
• Mathematics of Program Construction
• Predicative specifications for functional programs describing communicating networks
• KI 2003: Advances in Artificial Intelligence
• Programming Languages and Systems
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5305640)