The Nose Gear Challenge Problem has joined the Open-DO forge. It was initially developed to stimulate and unify discussions at the 2nd Workshop on Theorem Proving in Certification held on December 5 – 6, 2011 in Cambridge, UK. The goal of this project is to consider how/if theorem proving can have any value in providing assurance in the context of DO-178C formal method supplement. The contributors to the project can use the Nose Gear problem example to explain their techniques.
Visit the Nose Gear Challenge Problem project page on the Open-DO forge.
One Trackback
[...] background-position: 50% 0px; background-color:#102d16; background-repeat : no-repeat; } http://www.open-do.org – Today, 10:58 [...]