A Survey of Automated Techniques for Formal Software Verification

D'Silva, Vijay, Kroening, Daniel and Weissenbacher, Georg

journal	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
month	July
number	7
pages	1165-1178
publisher	IEEE
volume	27
year	2008

people	Vijay D'Silva \| Daniel Kroening \| Georg Weissenbacher
projects	Model-based test generation for embedded systems
activities	Software Model Checking
themes	Verification