Osmosis Aerospace and Defense 2023
OnlineOsmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of Trust and Assurance verification, Safety Critical Designs, and DO-254 compliant and other high-consequence systems. We have put together the following program covering a wide range of formal verification topics – along with …