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
UPDATE