Back to Results
First PageMeta Content
Polyspace / Program analysis / Software testing / Ada / Programming language / Formal methods / Logic in computer science / Static program analysis / Dynamic program analysis / Computing / Software engineering / Programming language theory


STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer
Add to Reading List

Document Date: 2005-10-01 21:19:04

Open Document

File Size: 153,01 KB

Share Result on Facebook

City

Aerospatiale / Orlando / INRIA / New York / Edinburgh / /

Company

IBM / Academic Press / PolySpace Technologies / ACM Press / X5 / /

Country

France / /

Currency

USD / /

IndustryTerm

software engineering / industrial tool / software analysis technique / least solution / software validation / computing / chemical / /

Person

Eric Pierrel / Alain Deutsch / ESA SP / /

Position

author / Vp Let / Chief Technical Officer / Major / software developer / controller / /

ProgrammingLanguage

ANSI C / Ada / C / /

ProvinceOrState

New York / /

PublishedMedium

Symposia / /

Technology

high-speed processors / ANSI C / ESA / /

SocialTag