Date: 2005-10-01 21:19:04

Polyspace

Program analysis

Software testing

Ada

Programming language

Formal methods

Logic in computer science

Static program analysis

Dynamic program analysis

Computing

Software engineering

Programming language theory

STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 153,01 KB