Software Verification Using k-Induction? Alastair F. Donaldson1 , Leopold Haller1 , Daniel Kroening1 , and Philipp R¨ummer2 1 2 - Software verification - Document - PDFSEARCH.IO

First Page	Meta Content
	Software Verification Using k-Induction? Alastair F. Donaldson1 , Leopold Haller1 , Daniel Kroening1 , and Philipp R¨ummer2 1 2 Add to Reading List Document Date: 2012-08-31 08:16:46 Open Document File Size: 241,37 KB Share Result on Facebook

Software Verification Using k-Induction? Alastair F. Donaldson1 , Leopold Haller1 , Daniel Kroening1 , and Philipp R¨ummer2 1 2Add to Reading List