Software Integrity Case Studies and Verification Methods

Explore case studies and methods for verifying property preservation, system-to-software integrity, and transitioning from AADL to Simulink and SPARK. Learn about peer review, testing, code generation, and more to ensure software integrity and meet system properties.

0 views • 13 slides