Personal tools

Specification and proof

From HaskellWiki

Jump to: navigation, search

This article is a stub. You can help by expanding it.


1 Introduction

To do

2 In the real world

The Australian ICT research center Nicta has developed a verified micro kernel, see the following papers:

3 Papers

4 Software

  • Sparkle is a theorem prover for the functional programming language Clean

5 E-mail, blog articles