search for: fef39227

Displaying 2 results from an estimated 2 matches for "fef39227".

[LLVMdev] Announcement: LLBMC, the Low-Level Bounded Model Checker
2012 Feb 07
0
[LLVMdev] Announcement: LLBMC, the Low-Level Bounded Model Checker
On Tue, Feb 7, 2012 at 4:58 AM, Carsten Sinz <carsten.sinz at kit.edu> wrote: > Perhaps some of you might be interested in this: > -- Carsten > > > ################################################################## > > *---------------------------------------------------* > * LLBMC: The Low-Level Bounded Model Checker * > * for C (and C++)
[LLVMdev] Announcement: LLBMC, the Low-Level Bounded Model Checker
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 * *