Flexible Formality Practical Experience with Agile Formal Methods.
Philipp KantKevin HammondDuncan CouttsJames ChapmanNicholas ClarkeJared CorduanNeil DaviesJavier DíazMatthias GüdemannWolfgang JeltschMarcin SzamotulskiPolina VinogradovaPublished in: TFP (2020)
Keyphrases
- formal methods
- practical experience
- formal specification
- formal analysis
- safety critical
- knowledge based systems
- model checking
- process algebra
- model checker
- software engineering
- temporal properties
- artificial intelligence
- e learning
- development process
- provably correct
- modeling language
- reverse engineering
- software development