Research

• Keyboard driver verification
• Input output verification approach
• I/O-style verification (does not have a dedicated page)
• PhD thesis [PDF]
• Misc files:
  • Presentation: Let's try to understand Iris [PDF] (2016-02-03)