The SCEAS System
Navigation Menu

Journals in DBLP

Formal Methods in System Design
2002, volume: 20, number: 2

  1. Warren A. Hunt Jr.
    Introduction: Special Issue on Microprocessor Verifications. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:2, pp:135-137 [Journal]
  2. Robert B. Jones, Jens U. Skakkebæk, David L. Dill
    Formal Verification of Out-of-Order Execution with Incremental Flushing. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:2, pp:139-158 [Journal]
  3. Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu
    Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:2, pp:159-186 [Journal]
  4. Jun Sawada, Warren A. Hunt Jr.
    Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:2, pp:187-222 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002