Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker.
Ranjani KrishnanV. R. LalithambikaPublished in: J. Aerosp. Inf. Syst. (2020)
Keyphrases
- model checker
- formal methods
- model checking
- formal verification
- test suite
- modeling language
- description language
- genetic algorithm
- temporal logic
- software development
- software architecture
- software systems
- life cycle
- symbolic model checking
- data mining
- ai planning
- formal specification
- programming language
- general purpose
- dynamic programming
- image analysis
- machine learning