Opportunities and challenges for formal methods tools in the certification of avionics software

Devesh Bhatt, Brendan Hall, Anitha Murugesan, David Oglesby, Eric Bush, Eric Engstrom, Joseph Mueller, Michael Pelican

Research output: Contribution to journal › Conference article › peer-review

Fingerprint

Dive into the research topics of 'Opportunities and challenges for formal methods tools in the certification of avionics software'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering

Mathematics