Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).
Michael FeldererDilian GurovMarieke HuismanBjörn LisperRupert SchlickPublished in: ISoLA (4) (2018)
Keyphrases
- formal methods
- formal analysis
- model checker
- safety critical
- model checking
- knowledge based systems
- industrial applications
- formal specification
- temporal properties
- provably correct
- artificial intelligence
- process algebra
- fine grained
- software engineering
- expert systems
- development lifecycle
- security properties
- information systems
- data mining
- formal specification language