Using Formal Methods for Verification and Validation in Railway.
Klaus ReichlTomas FischerPeter TummeltshammerPublished in: TAP@STAF (2016)
Keyphrases
- formal methods
- model checking
- model checker
- formal analysis
- safety critical
- knowledge based systems
- software engineering
- formal specification
- process algebra
- provably correct
- artificial intelligence
- databases
- development lifecycle
- temporal properties
- modeling language
- temporal logic
- life cycle
- software development
- data model
- expert systems
- data mining
- database