The latest version of afv is 0.1.1-0.
afv
Version 0.0.0 revision 0 uploaded by TomHawkins.
Package meta
- Synopsis
- Model checking Atom generated C.
- Description
A model checker for Atom generated, or similar, C code.
- Author
- Tom Hawkins <tomahawkins@gmail.com>
- Bug reports
- n/a
- Category
- Formal Methods
- Copyright
- n/a
- Homepage
- http://tomahawkins.org
- Maintainer
- Tom Hawkins <tomahawkins@gmail.com>
- Package URL
- n/a
- Stability
- experimental