PRISMATIC: Unified Hierarchical Probabilistic Verification Tool

Abstract

Research efforts were conducted under this task order to emphasize unique technologies in support of achieving the program goals associated with the DARPA META II Program. The contractor focused on technologies and technological breakthroughs addressing critical issues including scalability and abstraction in system verification, statistical verification, incremental verification, culprit identification, and counterexample generation. Collaboration with DARPA and other contractors on this program including PARC and Boeing was facilitated to optimize technology exchange and transition. Presentations were provided to government agencies, academia, and industry via workshops, seminars, and symposia.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2011
Accession Number
ADA553736

Entities

People

  • David J. Musliner
  • Eric Engstrom

Organizations

  • Smart Information Flow Technologies

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Case Studies
  • Complex Systems
  • Computational Biology
  • Data Analysis
  • Demographic Cohorts
  • Electrical Engineering
  • Engineers
  • Failure Mode And Effect Analysis
  • Governments
  • Identification
  • Linear Programming
  • Probabilistic Models
  • Probability
  • Wireless Communications

Readers

  • Academic Conference Management
  • Distributed Systems and Data Platform Development
  • Mathematical Modeling and Probability Theory.