Back to Results
First PageMeta Content
Software / Software requirements / Embedded systems / Safety / DO-178C / DO-178B / Frama-C / Formal verification / Verification / Software development / Avionics / Computing


Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST
Add to Reading List

Document Date: 2013-09-24 04:53:57

Open Document

File Size: 1,13 MB

Share Result on Facebook

Company

Boeing / Airborne Systems / Airbus / /

IndustryTerm

redundancy management / software development / /

Person

Test / Kirstie Bellman / /

Position

Verification general / /

Product

A380 / /

ProgrammingLanguage

DC / L / C / /

RadioStation

FM 2009 / /

SocialTag