Giles Reger

Computer Science

1. runtime verification 100%
2. Theorem Prover 67%
3. Automaton 48%
4. Search Space 27%
5. Order Theorem Prover 27%
6. Execution Trace 22%
7. high-order logic 16%
8. Experimental Result 16%
9. Specification Language 16%
10. Static Program Analysis 15%
11. Automated Reasoning 13%
12. Theorem Proving 13%
13. C Program 11%
14. Monitoring Tool 10%
15. Instantiation 10%
16. Temporal Logic 9%
17. Garbage Collection 8%
18. Computational System 7%
19. Monitoring System 7%
20. Model Checking 6%
21. Monitoring Event 5%
22. Back-Track 5%
23. Trained Neural Network 5%
24. Data Structure 5%
25. Observed Behavior 5%
26. Renaming 5%
27. Actual Behavior 5%
28. Specification Mining 5%
29. Pattern Library 5%
30. Precision Tool 5%
31. Unification Algorithm 5%
32. Clausal Normal Form 5%
33. Inductive Reasoning 5%
34. Priority Strategy 5%
35. Pattern Mining 5%
36. Top-Down Approach 5%
37. Axiomatization 5%
38. Function Symbol 5%
39. Contextual Information 5%
40. Hybrid Approach 5%
41. Real-World Problem 5%
42. Substitution Tree 5%
43. Generating Point 5%
44. Order Unification 5%
45. temporal property 5%
46. Loop Unrolling 5%
47. Large Language Model 5%
48. Control-Flow Graph 5%