First Page | Document Content | |
---|---|---|
Date: 2002-12-20 10:55:12Software 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 TestingAdd to Reading ListSource URL: www.di.ens.frDownload Document from Source WebsiteFile Size: 46,64 KBShare Document on Facebook |