Project: Cloud-Based Software Verification

Team: Prof. Dr. Dirk Beyer, Philipp Wendler(

Research institution: University of Passau

Abstract: Software verification is a time- and memory-intensive task. We research verification techniques to make verification of large software systems more effective. Using a large industrial-scale cluster has proven very beneficial for our research. Our application domain is the verification of the Linux kernel.

Last modified 7 years ago Last modified on Nov 4, 2014 2:18:56 PM