Work

Verification of the Futurebus+ cache coherence protocol

Year: 1995

Type: article

Source: Formal Methods in System Design

DOI: 10.1007/bf01383968

Authors: Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness

Institutions: Carnegie Mellon University, Technion – Israel Institute of Technology, Kyoto Sangyo University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2041152728

FWCI: 19.32

Cites: 12

Cited by: 172

Related to: 10