Archive for August, 2011

A Start

This blog talks about verifiable software. Here I post my thoughts on how this can be achieved, how to write a verifying compiler and what requirements must be made on the language to write code which is verifiable. The basic requirements for a verifiable language and a verifying compiler: – The language must allow to […]