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

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-44798-9_17

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

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

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2012English

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems

Herald of the Bauman Moscow State Technical University. Series Instrument Engineering
2017English

Formal Verification of a Group Membership Protocol Using Model Checking

English

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

The Cache Coherence Protocol of the Data Diffusion Machine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy