Verification of the P2012 Manycore Architecture: Underlying Issues
Richard Hersemeule, STMicroelectronics.
Presentation at Software Technologies Concertation on Formal Methods for Components and Objects, FMCO 2011, Torino, Italy.
October 1st, 2011 in
Publication
