Specification and proof

From HaskellWiki
Revision as of 01:58, 24 March 2018 by Nomeata (talk | contribs) (Software)

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

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

Introduction

To do


In the real world

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


Papers


Software

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

E-mail, blog articles