Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
type: Dataset
description: International audience
landing page: FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems
keyword: acm-b-hardwareb3-memory-structuresb33-performance-analysis-and-design-aidsb330-formal
keyword: acm-i-computing-methodologiesi6-simulation-and-modelingi64-model-validation-and-analysis
keyword: conference-papers
keyword: hardware-architecture
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-arcomputer-science-cshardware-architecture-csar
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: infoinfo-mocomputer-science-csmodeling-and-simulation
keyword: model-checking
keyword: system-level-cache-coherency
issued: 2026-05-09T20:48:26.129098
modified: 2026-05-09T20:48:26.129103
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00858521
issued: 2026-05-09T20:48:26.139041
modified: 2026-05-09T20:48:26.117328