Formal methods in dynamic software updating: a survey.
Razika LounasMohamed MezghicheJean-Louis LanetPublished in: Int. J. Crit. Comput. Based Syst. (2019)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- model checking
- model checker
- formal analysis
- knowledge based systems
- artificial intelligence
- provably correct
- formal specification
- temporal logic
- modeling language
- dynamic environments
- software engineering
- process algebra
- dynamically updated
- databases
- reactive systems
- software systems
- object oriented
- natural language
- temporal properties
- high level