Verification of the P2012 manycore architecture: underlying issues

Richard Hersemeule, STMicroelectronics.
Keynote at FMCO 2011, Formal Methods for Components and Objects Workshop, Torino, Italy, 3rd–5th October
http://fmco.liacs.nl/fmco11.html