An Semi-formal Co-verification Approach for High-Assurance CPS.
Yu ZhangMengxing HuangWenlong FengPublished in: SimuTools (2019)
Keyphrases
- high assurance
- software systems
- operating system
- fault tolerant
- access control
- distributed systems
- formal methods
- formal models
- computer vision
- formal model
- knowledge base
- formal representation
- formal analysis
- load balancing
- clustering algorithm
- learning algorithm
- software engineering
- expert systems
- multiscale
- database systems