The bounded model checker LLBMC
-
Author:
Stefan Falke, Florian Merz, Sinz, Carsten
-
Source:
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. IEEE 2013:706-709