Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.

Abderahman Kriouile, Wendelin Serwe

Browse the full FMICS paper archive.