ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-319-24953-7_15

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer International Publishing

Related search

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Cache Coherence Protocols in Shared-Memory Multiprocessors

2015English

Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols

IEEE Transactions on Software Engineering
Software
1999English

Implementing Application-Specific Cache-Coherence Protocols in Configurable Hardware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-Dimensional Abstraction

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2012English

Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

An ACL2 Proof of Write Invalidate Cache Coherence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

An Advanced Compiler Framework for Non-Cache-Coherent Multiprocessors

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy