haskell-fm

This is intended to contain simple and elegant Haskell implementations of various techniques in formal methods for software verification.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitignore		.gitignore
CFG.hs		CFG.hs
Domain.hs		Domain.hs
LICENSE		LICENSE
ParseC.hs		ParseC.hs
ParseWhile.hs		ParseWhile.hs
README.md		README.md
Side.hs		Side.hs
Simple.hs		Simple.hs
Solver.hs		Solver.hs
nice.hs		nice.hs
test.c		test.c
test.while		test.while

Provide feedback