Accession Number:

AD1158787

Title:

Assuring Cyber-Physical Systems - Scalable Formal Verification

Descriptive Note:

[Technical Report, Briefing Charts]

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA

Personal Author(s):

Report Date:

2022-01-01

Pagination or Media Count:

7

Abstract:

Contents include ACPA Initiatives Scalable Assurance Rapid Certifiable trust Analysis of Mission Progress Enforcing Unsafe behavior Drone Experiment.

Descriptors:

Subject Categories:

  • Statistics and Probability
  • Theoretical Mathematics
  • Administration and Management

Distribution Statement:

[A, Approved For Public Release]