Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration.

Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Browse the full ICSE paper archive.