| 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 |