Thread:Talk:What is the position of standards regarding formal methods in my industry segment?/Update standards

DO-178C (aeronautics) is out and also 26262 (automotive)