DDD-FM9001: Derivation of a Verified Microprocessor (1994)

by Bhaskar Bose
Citations:22 - 6 self

Documents Related by Co-Citation

30 DDD: A System for Mechanized Digital Design Derivation – Steven D. Johnson, Bhaskar Bose - 1997
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
1609 The Temporal Logic of Reactive and Concurrent Systems: Speci┬»cation – Z Manna, A Pnueli - 1992
3430 Communication and Concurrency – R Milner - 1989
1145 Computer Networks – A S Tanenbaum - 2002
1412 Component Software: Beyond Object-Oriented Programming – Clemens Szyperski - 1998
4331 Computer Architecture: a quantitative approach (3rd ed – J L Hennessy, D A Patterson - 2003
942 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992