End-to-End Automated Verification for OS Kernels.
Jizheng DingXiaoran ZhuJian GuoPublished in: APSEC (2018)
Keyphrases
- end to end
- automated verification
- model checking
- automated reasoning
- formal verification
- operating system
- ad hoc networks
- admission control
- virtual machine
- wireless ad hoc networks
- congestion control
- high bandwidth
- content delivery
- theorem prover
- application layer
- rate allocation
- scalable video
- multipath
- transport layer
- real time
- theorem proving
- graph theory
- computer systems
- knowledge representation
- artificial intelligence