Applying language-based static verification in an ARM operating system
Matthew Danish, Hongwei Xi, RICHARD R. WEST · ACM SIGBED Review · 2013
In recent years, we have seen a proliferation of small, embedded, electronic devices controlled by computer processors as powerful as the ARM®. These devices are now responsible for tasks as varied as flying a plane, talking on a cellphone, or helping to perform surgery. Some of these tasks have severe consequences for a mistake caused by faulty programming or missed deadlines. The best defense against these mistakes is to prevent them from happening in the first place.