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

[ bsd3, language, library ] [ Propose Tags ]


Versions [RSS] [faq] 0.0.0
Dependencies base (>=4.2 && <5), vcd (>=0.1) [details]
License BSD-3-Clause
Author Tom Hawkins <>
Maintainer Tom Hawkins <>
Category Language
Home page
Source repo head: git clone git://
Uploaded by TomHawkins at 2010-04-19T03:59:04Z
Distributions NixOS:0.0.0
Downloads 1002 total (0 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees