Back to Results
First PageMeta Content
Software / Computing / Real-time computing / Worst-case execution time / Simulink / French Institute for Research in Computer Science and Automation / Xavier Leroy / AbsInt


Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016
Add to Reading List

Document Date: 2016-04-05 14:57:15


Open Document

File Size: 433,39 KB

Share Result on Facebook
UPDATE