Formal verification of out-of-order execution with incremental flushing

DOI10.1023/A:1014118529369zbMath1014.68096OpenAlexW1764850050MaRDI QIDQ1604722

David L. Dill, Jens U. Skakkebæk, Robert B. Jones

Publication date: 8 July 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014118529369

zbMATH Keywords

high-level microprocessor modelincremental flushing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Formal verification of out-of-order execution with incremental flushing