Verifying Haskell Programs by Combining Testing and Proving.

Peter Dybjer Qiao Haiyan Makoto Takeyama

Published in: QSIC (2003)

Keyphrases

programming language
functional programming
functional language
test cases
real world
multiscale
computer programs
programming environment
machine learning
website
general purpose
open source
model checking
answer sets
symbolic execution