Model-Based Development and Formal Methods in the Railway Industry.
Alessio FerrariAlessandro FantechiStefania GnesiGianluca MagnaniPublished in: IEEE Softw. (2013)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- software engineering
- case study
- development lifecycle
- formal specification
- artificial intelligence
- economic development
- model checking
- financial services
- development process
- formal analysis
- model checker
- provably correct
- construction industry
- decision support
- relational databases
- future trends
- expert systems
- temporal properties
- process algebra