Let's Verify Linux: Accelerated Learning of Analytical Reasoning through Automation and Collaboration

@article{Kothari2016LetsVL,
  title={Let's Verify Linux: Accelerated Learning of Analytical Reasoning through Automation and Collaboration},
  author={Suresh Kothari and Ahmed Tamrawi and Jeremias Sauceda and Jon Mathews},
  journal={2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)},
  year={2016},
  pages={394-403}
}
We describe our experiences in the classroom using the internet to collaboratively verify a significant safety and security property across the entire Linux kernel. With 66,609 instances to check across three versions of Linux, the naive approach of simply dividing up the code and assigning it to students does not scale, and does little to educate. However, by teaching and applying analytical reasoning, the instances can be categorized effectively, the problems of scale can be managed, and… CONTINUE READING