@hackage ltl0.0.0

Using linear temporal logic (LTL) to verify embedded software and hardware.

Categories
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.0.0 Mon, 19 Apr 2010

Installation
In your cabal file:
Dependencies (2)
- base >=4.2 && <5
- vcd >=0.1
Dependents (1)
@hackage/acme-everything

TODO