Version 0.9-1 of sbv is deprecated.
The latest version of sbv is 10.12-0.
sbv
Version 0.9 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Symbolic Bit Vectors: Prove bit-precise program properties using SMT solvers.
- Description
Adds support for symbolic bit vectors, allowing formal models of bit-precise programs to be created. Supports symbolic arrays and polynomials over GF(2^n). Aims to provide seamless integration with SMT solvers to produce formal property proofs of theoremhood and satisfiability, with counter-examples.
- Author
- Levent Erkok
- Bug reports
- n/a
- Category
- Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math
- Copyright
- n/a
- Homepage
- http://github.com/LeventErkok/sbv
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental