Combining Formal Methods for the Development of Reactive Systems.
Olfa MosbahiPublished in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
- formal methods
- reactive systems
- safety critical
- knowledge based systems
- software engineering
- development lifecycle
- model checking
- formal analysis
- artificial intelligence
- model checker
- formal specification
- information flow
- object oriented
- real time systems
- process algebra
- reverse engineering
- data quality
- knowledge management
- expert systems
- natural language
- web services
- real time