<--- Back to Details
First PageDocument Content
Program analysis / Data types / Software testing / Abstract interpretation / Static program analysis / Patrick Cousot / Software verification / Type system / Polyspace / Software engineering / Programming language theory / Computing
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

Similar Documents

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani  Microsoft Research, Redmond, USA

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

DocID: 1xUKP - View Document

Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

DocID: 1xToC - View Document

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory  Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

DocID: 1vlSe - View Document

RAID Introduction • RAID – Redundant Array of Independent Disks • combines multiple drives into a single large storage • widely used in NASes and servers  • Different RAID types are called levels

RAID Introduction • RAID – Redundant Array of Independent Disks • combines multiple drives into a single large storage • widely used in NASes and servers • Different RAID types are called levels

DocID: 1v7ZT - View Document

Data Sources on the Web Data Sources on the Web is an online library resource guide (or LibGuide) that provides access to a variety of sources of statistical and other types of data that are available online through gove

Data Sources on the Web Data Sources on the Web is an online library resource guide (or LibGuide) that provides access to a variety of sources of statistical and other types of data that are available online through gove

DocID: 1uXOZ - View Document