Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration.

Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews

Browse the full ICSE paper archive.