Verifying Industrial Control Software

Google Tech Talks June, 4 2008 ABSTRACT In this talk I will present the results of mathematically verifying third party flight control software. I will then present the results of mathematically verifying automatically generated code using The Mathworks code generation facilities and compare the cost against conventional development including V If time permits I will […]