Enabling continuous integration in a formal methods setting.
Luís Diogo CoutoPeter W. V. Tran-JørgensenRené S. NilssonPeter Gorm LarsenPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- formal methods
- software engineering
- safety critical
- knowledge based systems
- artificial intelligence
- model checking
- formal analysis
- process algebra
- model checker
- formal specification
- data integration
- provably correct
- formal specification language
- development lifecycle
- temporal properties
- security properties
- information systems