System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation

DOI10.1007/S100090100044zbMath0991.68731OpenAlexW1591361873WikidataQ126579451 ScholiaQ126579451MaRDI QIDQ5953450

Massimo Zendri, César Viho, Hubert Garavel

Publication date: 5 August 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00072597/file/RR-4041.pdf

zbMATH Keywords

Cache coherencyCC-NUMA

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computer system organization (68M99)

Related Items (3)

Formal modelling and verification of GALS systems using GRL and CADP ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Process algebraic modelling of attentional capture and human electrophysiology in interactive systems

Uses Software

• LOTOS

This page was built for publication: System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation