First Page | Document Content | |
---|---|---|
Date: 2005-10-01 21:19:04Polyspace 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 OfficerDocument is deleted from original location. Download Document from Web Archive |