Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible?
Stefan KriebelDeni RacoBernhard RumpeSebastian StüberPublished in: Software Engineering (Workshops) (2019)
Keyphrases
- formal verification
- model checking
- automated verification
- bounded model checking
- model checker
- data streams
- symbolic model checking
- real time
- sliding window
- engineering design
- program slicing
- transactional data
- artificial intelligence
- computer aided design
- continuous queries
- temporal logic
- software engineering
- feasible solution
- design process