Sockeye: Bug-finding and proofs for platform configurations and hardware based on reference manuals

Ben Fiedler, Samuel Gruetter, Sedan Abdelgawad +8

The ever increasing complexity of hardware platforms poses a challenge to systems programmers. Correctly programming a multitude of components, providing functionality and security…