Proving the Correctness of Pipelined Micro−Architectures (Proc. of ITG/GI/GMM−Workshop ”Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, 2000)

(untitled) - Kroening, D; Paul, W; Mueller, S