Refinement Verification of OS Services based on a Verified Preemptive Microkernel.
Ximeng LiShanyan ChenYong GuanQianying ZhangGuohui WangZhiping ShiPublished in: FASE (2024)
Keyphrases
- operating system
- web services
- service providers
- information society
- information services
- model checking
- database manager
- customer service
- ubiquitous computing
- service oriented
- open source
- scheduling problem
- end users
- service discovery
- face verification
- european project
- ambient intelligence
- context aware
- service quality
- processing times
- web technologies
- mobile services
- lower bound
- database systems