A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.
Stefano BacheriniAlessandro FantechiMatteo TempestiniNiccolò ZingoniPublished in: FM (2006)
Keyphrases
- formal methods
- safety critical
- formal analysis
- knowledge based systems
- formal specification
- provably correct
- artificial intelligence
- process algebra
- information technology
- model checking
- model checker
- supply chain
- e government
- temporal properties
- third party
- software engineering
- production planning
- reactive systems
- information systems
- fine grained
- knowledge acquisition
- development lifecycle
- security properties
- software development