Login / Signup
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.
Yannick Moy
Emmanuel Ledinot
Hervé Delseny
Virginie Wiels
Benjamin Monate
Published in:
IEEE Softw. (2013)
Keyphrases
</>
formal verification
model checking
automated verification
bounded model checking
industrial applications
model checker
symbolic model checking
program slicing
alternative approaches
decision makers
temporal logic
fuzzy sets
user experience