Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring.
Miriam C. Bergue AlvesDoron DrusinskyJ. Bret MichaelMan-tak ShingPublished in: SoSE (2011)
Keyphrases
- formal methods
- test cases
- software testing
- testing process
- monitoring system
- search space
- control flow
- software tools
- software development
- execution traces
- real time
- software design
- data flow
- runtime environment
- space time
- computer systems
- software engineering
- face verification
- software maintenance
- low dimensional
- requirements specification
- civil aviation
- distributed shared memory