Personal tools

Specification and proof

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
(Added Category:Development tools)
 

Latest revision as of 13:16, 25 May 2013

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

Contents

[edit] 1 Introduction

To do


[edit] 2 In the real world

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


[edit] 3 Papers


[edit] 4 Software

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


[edit] 5 E-mail, blog articles