Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Byron Cook
Model Checking Boot Code From AWS Data Centers
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Refining Approximations in Software Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Explicitly Parallel Microprocessors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Language Definition DSDL for Hawk
Ranking Abstractions
Automatically Proving Program Termination
