Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus
From MaRDI portal
Publication:5045379
DOI10.1007/978-3-319-69483-2_7zbMath1498.68158arXiv1706.06246MaRDI QIDQ5045379
Dimitar P. Guelev, Naijun Zhan, Shu-Ling Wang
Publication date: 4 November 2022
Published in: Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1706.06246
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)