Making Safety-Critical Software Development Affordable with Static Analysis February 15, 2016 Share this document Twitter Email LinkedIn