Challenges Integrating Formal Methods into Certification of Critical Software & Systems Download Presented as part of the 2019 HCSS conference. Tags: Automated Test Generation formal methods Formal Specification High Assurance systems Industry Presentation HCSS 2019 License: CC-2.5 Submitted by Katie Dey on Wed, 05/15/2019 - 08:44
