A Component-based Approach to Verified Software: 
What, Why, How and What Next?

Kung-Kiu Lau, Zheng Wang
School of Computer Science, The University of Manchester
Manchester M13 9PL, United Kingdom
kung-kiu,zw@cs.man.ac.uk

Anduo Wang and Ming Gu
School of Software, Tsinghua University, Beijing, China
wad04@mails.tsinghua.edu.cn, guming@mail.tsinghua.edu.cn

Abstract:

Our component-based approach to verified software is a result of
cross-fertilisation between verified software and component-based 
software development. In contrast to approaches based on compositional 
verification techniques, our approach is designed to solve the scale 
problem in verified software.