Project: Cloud-Based Software Verification

Team: Prof. Dr. Dirk Beyer, Peter Häring

Research institution: Universität 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.

Link to the previous project: public/20132026

Last modified 7 years ago Last modified on Apr 9, 2014 6:02:26 PM