![Software / Polyspace / Science / Embedded systems / Model checking / Software verification / Abstract interpretation / Worst-case execution time / Software development process / Software development / Software testing / Formal methods Software / Polyspace / Science / Embedded systems / Model checking / Software verification / Abstract interpretation / Worst-case execution time / Software development process / Software development / Software testing / Formal methods](https://www.pdfsearch.io/img/52fa6f8136ecc62a5cabd4d0ecdf8b57.jpg)
| Document Date: 2002-12-20 10:55:12 Open Document File Size: 46,64 KBShare 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 |