Formal verification of avionics self adaptive software: A case study.
Rajanikanth N. KashiMeenakshi D'SouzaS. Kumar BaghelNitin KulkarniPublished in: ISEC (2016)
Keyphrases
- formal verification
- model checking
- program slicing
- bounded model checking
- model checker
- automated verification
- software systems
- case study
- symbolic model checking
- software development
- orders of magnitude
- software maintenance
- test bed
- functional verification
- reverse engineering
- computer systems
- source code
- object oriented
- user interface