Formal modeling and verification of microprocessors Phillip J. Windley [doi] [Google Scholar] [DBLP] [Citeseer] Computers, IEEE Transactions on 44(1) IEEE Pages 54-72 1995 Note(s): CPU verification
