Paper accepted at EMSOFT'15!
June 2015 - Paper on "Automatic Verification of Linear Controller Software" has been accepted at the 15th ACM SIGBED International Conference on Embedded Software (EMSOFT'15)!
June 2015 - Paper on "Automatic Verification of Linear Controller Software" has been accepted at the 15th ACM SIGBED International Conference on Embedded Software (EMSOFT'15)!