Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP.
Daniel SilveiraAndreas JungMarcel VerhoefTiago JorgePublished in: FM (2019)
Keyphrases
- formal methods
- formal specification
- formal specification language
- protocol specification
- formal analysis
- provably correct
- process algebra
- safety critical
- knowledge based systems
- model checker
- artificial intelligence
- search space
- specification language
- reactive systems
- model checking
- traveling salesman problem
- real world
- software engineering
- development lifecycle
- machine learning
- data mining
- expert systems
- modeling language
- building blocks
- travelling salesman
- data model