Component Certification and System Prediction: Is there a Role
for Formality?

Kung-Kiu Lau
Department of Computer Science
University of Manchester 
Manchester M13 9PL
United Kingdom
kung-kiu@cs.man.ac.uk

Abstract:
In this paper, we specify an open problem: predictable component
assembly, and state a position on compositional reasoning techniques
that we believe are necessary for this purpose.