Certifiably safe software-dependent systems: challenges and directions.

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones

Browse the full ICSE paper archive.