Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Failure / Materials science / Reliability engineering / Survival analysis / DO-178B / Exception handling / Formal verification / Software development process / KeY / Software development


Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad
Add to Reading List

Open Document

File Size: 498,47 KB

Share Result on Facebook
UPDATE