Name		Name	Last commit message	Last commit date
Latest commit History 330 Commits
attic		attic
evaluation		evaluation
examples		examples
paper		paper
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
eval		eval
hbmc.cabal		hbmc.cabal
install.sh		install.sh
stack.yaml		stack.yaml
table		table

Repository files navigation

hbmc: Haskell Bounded Model Checker

./install.sh

hbmc examples/RegExp.hs

About

Haskell Bounded Model Checker

Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

Languages