GitHub - tgrohens/lmoch: An OCaml model checker for Lustre.

tgrohens / lmoch Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An OCaml model checker for Lustre.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
bug		bug
examples		examples
report		report
src		src
Makefile		Makefile
README.md		README.md
build.sh		build.sh
report.pdf		report.pdf

Repository files navigation

A Lustre model checker.

About

An OCaml model checker for Lustre.

Report repository

Releases

No releases published

Packages

No packages published

Languages