Displaying 1 result from an estimated 1 matches for "cryptogenesis".
2016 Mar 01
1
Question about Formal Verification
I'd just like to thank everyone who replied on this; the suggestions and
resources are very helpful!
~Scott
On Tue, Feb 9, 2016 at 8:38 PM, Andrew Santosa <santosa_1999 at yahoo.com>
wrote:
> LLBMC http://llbmc.org uses bounded model checking technique to find
> errors in LLVM IR.
> Model checking is essentially search, and since LLBMC is bounded, the
> search for errors