CAREER: Automated Verification of Loops in Systems Code

Computer Science

1. System Software 100%
2. Execution Trace 40%
3. Precondition 20%
4. Computing Infrastructure 20%
5. Computing Environment 20%
6. Postcondition 20%
7. Driven Framework 20%
8. Iterative Data 20%
9. Target Program 20%
10. Sliding Window 20%
11. Page Fault 20%
12. Programme State 20%
13. Hypervisor 20%
14. Operating Systems 20%
15. Learning Framework 20%
16. Formal Verification 20%
17. Loop Iteration 20%
18. for Loop 20%
19. Data Structure 20%
20. System Designer 20%
21. Training Data 20%