Experience Report: Formal Methods in Material Science.
Bernhard BeckertBritta NestlerMoritz KieferMichael SelzerMattias UlbrichPublished in: CoRR (2018)
Keyphrases
- formal methods
- artificial intelligence
- formal analysis
- model checking
- model checker
- safety critical
- knowledge based systems
- process algebra
- formal specification
- computer science
- temporal properties
- provably correct
- software engineering
- machine learning
- modeling language
- expert systems
- information systems
- engineering courses
- primary school students
- databases
- development lifecycle
- formal specification language