Combining formal methods for the development of reactive systems.
Olfa MosbahiMohamed KhalguiPublished in: Int. J. Comput. Appl. Technol. (2011)
Keyphrases
- formal methods
- reactive systems
- safety critical
- knowledge based systems
- software engineering
- model checking
- formal analysis
- development lifecycle
- process algebra
- formal specification
- information flow
- artificial intelligence
- model checker
- temporal logic
- databases
- information systems
- modeling language
- real time
- data mining
- relational databases
- development process
- knowledge base
- petri net
- case study
- natural language