A verification-driven framework for iterative design of controllers.
Claudio MenghiPaola SpoletiniMarsha ChechikCarlo GhezziPublished in: Formal Aspects Comput. (2019)
Keyphrases
- conceptual framework
- design principles
- case study
- data driven
- main contribution
- computational framework
- theoretical framework
- neural network
- information retrieval
- probabilistic model
- design process
- functional verification
- database
- design space
- formal methods
- design patterns
- computer aided
- software architecture
- user interface
- e learning
- search engine
- databases
- data sets
- real time