IEEE - Institute of Electrical and Electronics Engineers, Inc. - Protocol verification using flows: An industrial experience

2009 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): O'Leary, J. ; Talupur, M. ; Tuttle, M.R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Austin, TX, USA, USA
Conference Date: 15 November 2009
Page(s): 172 - 179
ISBN (CD): 978-1-4244-4966-8
DOI: 10.1109/FMCAD.2009.5351126
Regular:

We prove the parameterized correctness of one of the largest cache coherence protocols being used in modern multi-core processors today. Our approach is a generalization of a method we described... View More

Advertisement