havoc a precise and scalable verifier for systems software published presentations and documents on DocSlides.
