Vija D'Silva

Vija D'Silva

Doctoral Student
Student, Magdalen College

A Survey of Automated Techniques for Formal Software Verification

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

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165-1178. July 2008.

themes
activities	Software Model Checking
projects	Model-based test generation for embedded systems
supervisor	Daniel Kroening

Room Room 446, Wolfson Building, Parks Road, Oxford OX1 3QD