A candid industrial evaluation of formal software verification using model checking.

Matthew Bennion, Ibrahim Habli

Browse the full ICSE paper archive.