Algebraic models of correctness for microprocessors

DOI10.1007/PL00003936zbMath0971.68102OpenAlexW1975427082MaRDI QIDQ5930075

N. A. Harman, A. C. J. Fox

Publication date: 17 April 2001

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00003936

zbMATH Keywords

formal verificationmicroprocessors

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (5)

Parallelized sequential composition and hardware weak memory models ⋮ The data type of spatial objects ⋮ Algebraic models of correctness for abstract pipelines. ⋮ Algebraic models of behaviour and correctness of SMT and CMT processors ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Uses Software

• Maude

This page was built for publication: Algebraic models of correctness for microprocessors