Displaying 2 results from an estimated 2 matches for "0684f017".
2012 Feb 07
0
[LLVMdev] Announcement: LLBMC, the Low-Level Bounded Model Checker
This looks very interesting. Do you plan to make the source code
publicly available?
-Hal
On Tue, 2012-02-07 at 01:58 +0100, Carsten Sinz wrote:
> Perhaps some of you might be interested in this:
> -- Carsten
>
>
>
>
> ##################################################################
>
>
> *---------------------------------------------------*
> *
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 *
*