INFO:
Verifying Safety and Liveness Properties of a Kernelized Web Browser - Microsoft Research