Formal Methods of Transformations (Dagstuhl Seminar 17142).
Emmanuel FiliotSebastian ManethHelmut SeidlPublished in: Dagstuhl Reports (2017)
Keyphrases
- formal methods
- formal analysis
- model checking
- artificial intelligence
- model checker
- safety critical
- knowledge based systems
- temporal properties
- formal specification
- security properties
- software engineering
- process algebra
- provably correct
- reactive systems
- development lifecycle
- databases
- modeling language
- temporal logic
- data mining