ltl-0.0.0: Using linear temporal logic (LTL) to verify embedded software and hardware.

The ltl package

TODO

Properties

Version0.0.0
Dependenciesbase (≥4.2 & <5), vcd (≥0.1)
LicenseBSD3
AuthorTom Hawkins <tomahawkins@gmail.com>
MaintainerTom Hawkins <tomahawkins@gmail.com>
CategoryLanguage
Home pagehttp://tomahawkins.org
Source repositorygit clone git://github.com/tomahawkins/ltl.git
Upload dateMon Apr 19 03:59:04 UTC 2010
Uploaded byTomHawkins
Built onghc-6.12, ghc-7.0

Modules

Downloads