Date: 2006-07-12 15:11:33Program 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 ListSource URL: www.kestreltechnology.comDownload Document from Source Website File Size: 438,30 KBShare Document on Facebook
|