Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned.
Francesco AielloAlfredo GarroYves LemmensStefan DutréPublished in: CIISE (2017)
Keyphrases
- lessons learned
- future directions
- case study
- formal methods
- participatory design
- grounded theory
- desirable properties
- user requirements
- structural properties
- formal model
- neural network
- face verification
- formal models
- data sets
- modeling language
- model checking
- genetic algorithm
- formal analysis
- design science
- databases