Unifying Theories of Programming and Formal Engineering Methods – Zhiming Liu, Jim Woodcock, Huibiao Zhu

Table Of Contents

rCOS: Defining Meanings of Component-Based Software Architectures
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Unifying Theories of Programming in Isabelle
FORMULA 2.0: A Language for Formal Specifications
Formal Modelling, Analysis and Verification of Hybrid Systems
Author Index