Intel Core:::TM::: i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Roope Kaivola. Intel Core:::TM::: i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework. In Ricardo Rocha, John Launchbury, editors, Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Volume 6539 of Lecture Notes in Computer Science, pages 1, Springer, 2011. [doi]

The following publications are possibly variants of this publication:

Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine ValidationRoope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik. cav 2009: 414-429 [doi]

runs on WebDSL