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

Journal of Supercomputing- Netherlands

doi 10.1007/s11227-012-0755-0

Full Text

Abstract

Available in

Categories

Information Systems

Theoretical Computer Science

Date

April 17, 2012

Authors

Publisher

Springer Science and Business Media LLC

Related search

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

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

State Space Reduction Techniques for Model Checking of MANET Protocols

International Journal of Networking and Computing

English

The Cache Coherence Protocol of the Data Diffusion Machine

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Spin Coherence in Two-Dimensional Materials

npj Computational Materials

Mechanics of Materials

Materials Science

Computer Science Applications

English

Parallel State Space Construction for Model-Checking

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Evaluation of a Competitive-Update Cache Coherence Protocol With Migratory Data Detection

Journal of Parallel and Distributed Computing

Computer Networks

Theoretical Computer Science

Artificial Intelligence

English

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

English