dove

Version 0.0.0 revision 0 uploaded 2015-04-28T17:54:43.000Z by TomHawkins.

Package meta

Synopsis

The Dove verification language.

Description

Author

Tom Hawkins <tomahawkins@gmail.com>

Bug reports

n/a

Category

Language, Formal Methods

Copyright

n/a

Homepage

n/a

Maintainer

Tom Hawkins <tomahawkins@gmail.com>

Package URL

n/a

Stability

n/a

Components

• lib:dove