Harnessing rCOS for Tool Support —The CoCoME Experience

DOI10.1007/978-3-540-75221-9_5zbMath1151.68380OpenAlexW1578269046MaRDI QIDQ3526927

Volker Stolz, Lu Yang, Zhi-Ming Liu, Xiaoshan Li, Zhenbang Chen

Publication date: 25 September 2008

Published in: Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75221-9_5

zbMATH Keywords

formal methodstool designsoftware processsoftware development tool

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ Refinement and verification in component-based model-driven design

Uses Software

• rCOS
• ESC/Java

This page was built for publication: Harnessing rCOS for Tool Support —The CoCoME Experience