Personal tools

Specification and proof

From HaskellWiki

Revision as of 21:11, 30 October 2010 by Henk-Jan van Tuyl (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Contents

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