osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of DO-254 compliant and other high-consequence systems. ‌ We have put together the following program covering a wide range of formal verification topics. Day 1 - Tuesday, April 23 10:00am Pacific | 1:00pm… Read More »osmosis Aerospace and Defense 2024 A Formal Verification Virtual Event