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

First Page		Document Content
Date: 2016-04-05 14:57:15 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 Source URL: pauillac.inria.fr Download Document from Source Website File Size: 433,39 KB Share Document on Facebook

	Mjolnir Computing tools to empower users Web site: http://mjolnir.lille.inria.fr/ Contact: 2015 DocID: 1rk7t - View Document
	Microsoft Word - SGP09_CfP.doc DocID: 1ri9j - View Document
	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 DocID: 1rh1S - View Document
	3DVDesign : Communication Depatement Inria Grenoble - Rhône-Alpes DecCopyright : CC BY-SA 3.0 International Conference on 3D Vision DocID: 1r72u - View Document
	LiquidXML: Adaptive XML Content Redistribution Jesús Camacho-Rodríguez, Asterios Katsifodimos, Ioana Manolescu, Alexandra Roatis Leo Team - INRIA Saclay & Université de Paris-Sud XI The LiquidXML Platform DocID: 1qZpO - View Document