Back to Results
First PageMeta Content
Pointer


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy
Add to Reading List

Document Date: 2008-02-13 03:53:53

Open Document

File Size: 250,32 KB

Share Result on Facebook

Currency

pence / /

/

Facility

store X. Leroy INRIA Paris-Rocquencourt / A store / /

IndustryTerm

target processor / verification tools / /

Person

Xavier Leroy / /

Position

editor / Coq proof assistant / /

ProgrammingLanguage

Java / C / /

Technology

Java / target processor / http / simulation / /

SocialTag