An Automata-Theoretic Approach to Hardware/Software Co-verification.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey

Browse the full FASE paper archive.