Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(QuickCheck)
(Coq)
Line 31: Line 31:
   
 
* [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]
  +
  +
=== Isabelle===
  +
  +
* [http://users.lava.net/~newsham/formal/reverse/ Proving Haskell correct with Isabelle/HOL]
  +
  +
=== Related work ===
  +
  +
* See the section on [[Blog_articles/Comparisons#Theorem_provers|theorem provers]]
   
 
== Further reading ==
 
== Further reading ==

Revision as of 16:57, 23 September 2007

Type checking for correctness

Testing, correctness and proofs

QuickCheck

HUnit

Catch

Proofs

GADTs

Coq

Isabelle

Related work

Further reading