Correctness of Pipelined Machines (0)


Download Links

by Panagiotis Manolios
Venue:Formal Methods in Computer-Aided Design–FMCAD 2000, volume 1954 of LNCS
Citations:26 - 13 self

Active Bibliography

1 Verification of Pipelined Machines in ACL2 – Panagiotis Manolios - 2000
1 Using Theorem Proving and Algorithmic Decision Procedures for Large-Scale System Verification – Sandip Ray, J Strother Moore, E. Allen Emerson, Mohammed G. Gouda, Warren A. Hunt, C. Greg Plaxton, John R. Matthews, Ip Ray - 2005
4 A computationally efficient method based on commitment refinement maps for verifying pipelined machines models – Panagiotis Manolios - 2005
7 A complete compositional reasoning framework for the efficient verification of pipelined machines – Panagiotis Manolios - 2005
20 A Grand Challenge Proposal for Formal Methods: A Verified Stack – J Strother Moore
42 Modeling and Verification of Out-of-Order Microprocessors in UCLID – Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant - 2002
21 Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB-Refinements – Panagiotis (Pete) Manolios, Sudarshan K. Srinivasan - 2003
1 Deductive Mechanical Verification of Concurrent Systems – Robert W. Sumners, Jacob A. Abraham, J Strother Moore, Adnan Aziz, Donald S. Fussell, Warrent A. Hunt, Robert W. Sumners - 2005
10 A compositional theory of refinement for branching time – Panagiotis Manolios - 2003
17 A framework for microprocessor correctness statements – Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones - 2001
15 Refinement Maps for Efficient Verification of Processor Models – Panagiotis Manolios - 2005
2 Towards a Formalization of the X86 Instruction Set Architecture – Sandip Ray
3 A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures – Panagiotis Manolios, Sudarshan K. Srinivasan - 2006
36 Trace Table Based Approach for Pipelined Microprocessor Verification – Jun Sawada, Warren A. Hunt, Jr. - 1997
Deciding Propositional Combinations of Equalities and Inequalities – Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, N. Shankar
11 Systematic Verification Of Pipelined Microprocessors – Ravi Mohan Hosabettu - 2000
7 Adding a total order to ACL2 – Panagiotis Manolios, Matt Kaufmann - 2002
7 Revisiting Positive Equality – Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur - 2004