Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
Home
Publications
Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
Author:
SG
Susanne Graf
Susanne Graf
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Download PDF
Download
Publisher website
Google Scholar
1 May 1999
journal article
Published by
Springer Nature
in
Distributed Computing
Vol. 12
(2-3)
,
75-90
DOI:
10.1007/s004460050059
Abstract
No abstract available
Keywords
EXTENDED VERSION
CACHE MEMORY SYSTEM
SEQUENTIALLY CONSISTENT MEMORY
PROPERTIES EXPRESSIBLE
TEMPORAL LOGIC FORMULA
ABSTRACT INTERPRETATION
INFINITE STATE SPACE
PREVIOUS PAPER
FINITE STATE SYSTEM
REASONABLE CONCRETE SYSTEM
SEQUENTIAL CONSISTENCY
CACHE MEMORY
STATE SPACE
SATISFIABILITY
TEMPORAL LOGIC
Cited
Cited by 11 articles
Scroll to top