First Page | Document Content | |
---|---|---|
Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification | Microsoft Word - f1488_1.docAdd to Reading ListSource URL: ti.arc.nasa.govDownload Document from Source WebsiteFile Size: 315,83 KBShare Document on Facebook |