 |
DTIC ADA144360: Program Verification, |
 |
by Defense Technical Information Center |
 |
Thumbnail |
|
Download |
 |
Web page |
|
|
|
Computer programs may be regarded as formal mathematical |
|
objects whose properties are subject to mathematical |
|
proof. Program verification is the use of formal, |
|
mathematical techniques to debug software and software |
|
specifications. (Author) |
|
|
|
Date Published: 2018-01-21 13:41:14 |
|
Identifier: DTIC_ADA144360 |
|
Item Size: 10482032 |
|
Language: english |
|
Media Type: texts |
|
|
|
# Topics |
|
DTIC Archive; Boyer,R S ; TEXAS UNIV... |
|
|
|
# Collections |
|
dticarchive |
|
additional_collections |
|
|
|
# Uploaded by |
|
@chris85 |
|
|
|
# Similar Items |
|
View similar items |
|
|
|
PHAROS |
|
