Publication | Closed Access

Toward a wider use of formal methods for aerospace systems design and verification

Wider UseEngineeringAerospace SystemsFormal ModelingAerospace EngineeringAerospace Systems DesignMechanical VerificationVerificationDesignFormal MethodsSystems EngineeringSystem-level DesignFormal TechniqueSpace Systems DesignFormal VerificationFunctional VerificationSoftware DesignSystem Specification