Formal methods integration in software engineering.
Isabelle PerseilLaurent PautetPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- formal methods
- software engineering
- knowledge based systems
- formal analysis
- safety critical
- artificial intelligence
- model checker
- provably correct
- model checking
- formal specification
- design patterns
- development process
- development lifecycle
- modeling language
- temporal properties
- process algebra
- machine learning
- reverse engineering
- security properties
- databases
- distributed systems
- user interface
- real world