Mike Reed. 

In this lecture, we present an overview of our current and planned work at UNU-IIST in the specification and verification of component systems. In particular, we discuss major projects in open source software and e-governance; these projects are aimed at building the software capacity for self determination in the developing world. We also discuss the relationship of this work to the ”Grand Challenge” by Tony Hoare to develop a self-verifying complier.

http://www.lbd.dcc.ufmg.br/colecoes/sbmf/2005/016.pdf

Processando consulta.