|
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation / / (Competition Contribution) /Carsten Sinz, Florian Merz and Stephan Falke --
|
2012
|
1
|
|
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM / / Stephan Falke, Florian Merz, Carsten Sinz --
|
2013
|
1
|
|
Llef (Deus salutis) / (2:38) --
|
2017
|
1
|