Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed]

First Page		Document Content
Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing		Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Download Document from Source Website File Size: 438,30 KB Share Document on Facebook

	Programming Language Methods in Computer Security John Mitchell Stanford University DocID: 1umIb - View Document
	Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog DocID: 1tFuL - View Document
	Dr Nicholas Cameron Curriculum Vitae Higher Education PhD in Computing (Programming Language Theory), Imperial College London, April 2009. - “Existential Types for Variance — Java Wildcards and Ownership Types” (ab DocID: 1sUyz - View Document
	Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm Arrival and Registration DocID: 1ru6u - View Document
	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ DocID: 1rtVS - View Document