A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.
Toshifusa SekizawaMakoto FujiwaraKoichiro WatanabePublished in: COMPSAC Workshops (2016)
Keyphrases
- model checking
- application specific
- neural network
- hardware designs
- functional requirements
- user requirements
- multiscale
- data sets
- bounded model checking
- concurrent systems
- asynchronous circuits
- data mining
- evolutionary algorithm
- database systems
- case study
- computer vision
- formal methods
- formal analysis
- test bed
- fingerprint verification
- high level
- relational databases
- grid workflow