Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(Type checking for correctness)
(Coq)
Line 32: Line 32:
   
 
* [http://www.rubrication.net/2007/04/24/strong-specifications/ Strong specifications in Coq: the type says everything]
 
* [http://www.rubrication.net/2007/04/24/strong-specifications/ Strong specifications in Coq: the type says everything]
  +
* Proving the monad laws in Coq
  +
** [http://sequence.complete.org/node/358 Introduction]
  +
** [http://sequence.complete.org/node/359 The First and Second Laws]
  +
** [http://sequence.complete.org/node/360 The Third Law]
   
 
=== Isabelle===
 
=== Isabelle===

Revision as of 00:30, 24 September 2007

Type system enforcement

Testing, correctness and proofs

QuickCheck

HUnit

Catch

Proofs

GADTs

Coq

Isabelle

Related work

Further reading