Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(Coq)
m (Coq)
Line 36: Line 36:
 
** [http://sequence.complete.org/node/359 The First and Second Laws]
 
** [http://sequence.complete.org/node/359 The First and Second Laws]
 
** [http://sequence.complete.org/node/360 The Third Law]
 
** [http://sequence.complete.org/node/360 The Third Law]
  +
* [http://sequence.complete.org/node/363 Strongly Specified Functions]
   
 
=== Isabelle===
 
=== Isabelle===

Revision as of 01:10, 7 November 2007

Type system enforcement

Testing, correctness and proofs

QuickCheck

HUnit

Catch

Proofs

GADTs

Coq

Isabelle

Related work

Further reading