Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip.

Abderahman Kriouile, Wendelin Serwe

Browse the full TACAS paper archive.