Formally Verified System Initialisation
Lecture Notes in Computer Science, pp. 70-85, 2013.
The safety and security of software systems depends on how they are initially configured. Manually writing program code that establishes such an initial configuration is a tedious and error-prone engineering process. In this paper we present an automatic and formally verified initialiser for component-based systems built on the general-pu...More
Full Text (Upload PDF)
PPT (Upload PPT)