A Practical Approach for Model Checking C/C++11 Code.

Fri, 01 Jan 2016 00:00:00 +0100

Brian Norris, Brian Demsky :
A Practical Approach for Model Checking C/C++11 Code. ACM Trans. Program. Lang. Syst. 38(3): 10:1-10:51 (2016)