Formal Methods Adoption in Industry: An Experience Report.
Benjamin TylerPublished in: ICTAC Summmer School (2021)
Keyphrases
- formal methods
- electronic data interchange
- formal analysis
- knowledge based systems
- model checker
- software industry
- software engineering
- safety critical
- temporal properties
- formal specification
- artificial intelligence
- provably correct
- model checking
- competitive market
- small businesses
- process algebra
- formal specification language
- e government
- information technology
- financial services
- perceived usefulness
- reactive systems
- query language
- case study
- information systems
- machine learning
- data mining