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

	Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & DocID: 1vqAs - View Document
	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, DocID: 1vgAJ - View Document
	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 DocID: 1vcx1 - View Document
	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, DocID: 1v9AG - View Document