Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Datasets
Press/Media
Activities
Fellowships, Honors, and Prizes
Impacts
Search by expertise, name or affiliation
PRELIMINARY EVALUATION OF VERIFIABILITY IN ADA.
A. R. Tripathi
, W. D. Young
, D. I. Good
Computer Science and Engineering
Research output
:
Contribution to conference
›
Paper
›
peer-review
2
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'PRELIMINARY EVALUATION OF VERIFIABILITY IN ADA.'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Data Sharing
100%
Program Verification
100%
Software Engineering
100%
Data Type
100%
Defined Interface
100%
Local Variable
100%
Access Variable
100%
Concurrent Processing
100%
Proof
100%
Keyphrases
Verifiability
100%
Data Sharing
50%
Verification Method
50%
Software Engineering
50%
Formal Proof
50%
Engineering Aspects
50%
Approximate Data
50%
Program Verification
50%
Concurrent Processing
50%
Nonlocal Variables
50%
Well-defined Interface
50%