Modularization of Refinement Steps for Agile Formal Methods.
Fabian BenduhnThomas ThümIna SchaeferGunter SaakePublished in: ICFEM (2017)
Keyphrases
- formal methods
- refinement process
- formal specification
- formal analysis
- software engineering
- model checker
- safety critical
- knowledge based systems
- model checking
- provably correct
- process algebra
- software development
- artificial intelligence
- modeling language
- software systems
- information systems
- machine learning
- refinement step
- development process
- temporal properties
- agile software development
- formal specification language