PRISMATIC: Unified Hierarchical Probabilistic Verification Tool

摘要

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.