Back to Results
First PageMeta Content
C programming language / Cross-platform software / Abstract interpretation / Astrée / MISRA C / Source code / C / SQL / Pointer / Computing / Software engineering / Computer programming


´ for C Astree Astr´ee analyzes safety-critical structured C programs with complex memory usage conforming to the C99 standard. This targets embedded applications as found in earth transportation, nuclear energy, medic
Add to Reading List

Document Date: 2015-01-19 06:15:30

Open Document

File Size: 47,57 KB

Share Result on Facebook

Continent

Asia / North America / Europe / /

/

Facility

headquarters Science Park / /

/

IndustryTerm

safety-critical software / nuclear energy / software distributors / development tools / earth transportation / /

OperatingSystem

Microsoft Windows / Linux / /

/

Position

product specialist / /

ProgrammingLanguage

C / /

ProvinceOrState

Manitoba / /

Region

Middle East / /

Technology

RAM / Linux / /

URL

www.absint.com / /

SocialTag