Formally Verified System Initialisation

Lecture Notes in Computer Science, pp. 70-85, 2013.

Cited by: 17|Bibtex|Views65|DOI:https://doi.org/10.1007/978-3-642-41202-8_6
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments