Back to Results
First PageMeta Content
Software / Polyspace / Science / Embedded systems / Model checking / Software verification / Abstract interpretation / Worst-case execution time / Software development process / Software development / Software testing / Formal methods


DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing
Add to Reading List

Document Date: 2002-12-20 10:55:12

Open Document

File Size: 46,64 KB

Share Result on Facebook

City

Copenhagen / /

Company

AbsInt / Abstract Testing Executive Summary Abstract Present / PolySpace Technologies / Airbus France / Static Analysis / /

Country

Germany / France / Israel / Denmark / /

Facility

Trier University / Saarland University / Tel-Aviv University / /

IndustryTerm

embedded critical software / real-time software / software verification workbench / technology development / infinite state systems / concurrent systems / verification tools / present software validation techniques / software components / medical and automotive software / software development / software verification / software verification methods / software validation / prototype solutions / /

Organization

Tel-Aviv University / Trier University / Saarland University / /

ProgrammingLanguage

Ada / C / /

TVStation

WCET / /

Technology

simulation / /

SocialTag