Specification and proof

From HaskellWiki
Revision as of 13:16, 25 May 2013 by Henk-Jan van Tuyl (talk | contribs) (Added Category:Development tools)

Jump to: navigation, search

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


To do

In the real world

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



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

E-mail, blog articles