Displaying 2 results from an estimated 2 matches for "482da8f5".
2012 Feb 07
0
[LLVMdev] Announcement: LLBMC, the Low-Level Bounded Model Checker
...lvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
Maybe it's somewhat dumb question - is it somehow related with KLEE?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120207/482da8f5/attachment.html>
2012 Feb 07
4
[LLVMdev] Announcement: LLBMC, the Low-Level Bounded Model Checker
Perhaps some of you might be interested in this:
-- Carsten
##################################################################
*---------------------------------------------------*
* LLBMC: The Low-Level Bounded Model Checker *
* for C (and C++) programs is now available! *
* Version 2012.1 *
*