Version 0.9.2-0 of sbv is deprecated.
The latest version of sbv is 10.12-0.
sbv
Version 0.9.2 revision 0 uploaded by LeventErkok.
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
- Levent Erkok, 2011
- Homepage
- http://github.com/LeventErkok/sbv
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental