ltl
Version 0.0.0 revision 0 uploaded by TomHawkins.
Package meta
- Synopsis
- Using linear temporal logic (LTL) to verify embedded software and hardware.
- Description
TODO
- Author
- Tom Hawkins <tomahawkins@gmail.com>
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- http://tomahawkins.org
- Maintainer
- Tom Hawkins <tomahawkins@gmail.com>
- Package URL
- n/a
- Stability
- n/a