Login / Signup
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment.
Dmitrii Kirov
Simone Fulvio Rollini
Luigi Di Guglielmo
Darren D. Cofer
Published in:
AISoLA (2023)
Keyphrases
</>
formal verification
model checking
bounded model checking
automated verification
model checker
symbolic model checking
air force
nasa langley research center
temporal logic
program slicing
air traffic control
health management
open source
orders of magnitude
civil aviation