An Assume/Guarantee Based Compositional Calculus for Hybrid CSP

DOI10.1007/978-3-642-29952-0_13zbMath1354.68204OpenAlexW115475910MaRDI QIDQ2898020

Naijun Zhan, Dimitar P. Guelev, Shu-Ling Wang

Publication date: 16 July 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-29952-0_13

zbMATH Keywords

hybrid systemscompositionalityduration calculusHoare logicHCSPassume/guarantee

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

A mechanically verified theory of contracts ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems

This page was built for publication: An Assume/Guarantee Based Compositional Calculus for Hybrid CSP