Automating Requirement Analysis and Formal Verification for Aerospace Embedded Software IP Components

This paper presents an automated approach to translate natural language requirements into formal specifications and verify the consistency between the implementation and formal properties for aerospace embedded software IP components.