Avionics Self-adaptive Software: Towards Formal Verification and Validation.

Meenakshi D'Souza Rajanikanth N. Kashi

Published in: ICDCIT (2019)

Keyphrases

formal verification
model checking
program slicing
software systems
symbolic model checking
automated verification
software architecture
bounded model checking
software development
software tools
source code
temporal logic
software maintenance
model checker
software quality
formal methods