Computability in Europe 2008
Logic and Theory of Algorithms
|Author(s):||Angelos Manousaridis, Michalis Papakyriakou and Nikolaos Papaspyrou|
|Slot:||Wed, 17:50-18:10, Room 22 (col. 4)|
The long tradition of formal program verification and the more recent frameworks for proof-carrying code share a common goal: the construction of certified software. In this paper, mainly through a simple motivating example, we describe our vision of a complete hybrid system that combines the two approaches, We discuss the feasibility of such an ambitious project and report on progress made so far.
|websites: Arnold Beckmann||2008-05-19|