Integration verification across software and hardware for a simple embedded system.

Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala

Browse the full PLDI paper archive.