Formal Verification of a Mixed Trust Synchronization Protocol

Abstract

Problem: How to verify every component and their interaction?

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 17, 2021
Accession Number
AD1135186

Entities

People

  • Amit Vasudevan
  • Björn Andersson
  • Dionisio de Niz
  • Hyoseung Kim
  • John P. Lehoczky
  • Mark Klein
  • Michael Mccall
  • Ruben Martins

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Automata
  • Complex Systems
  • Computations
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Guarantees
  • Iterations
  • Language
  • Machines
  • Materials
  • Materials Testing
  • Mathematical Analysis
  • Mathematics
  • Motivation
  • Observers
  • Patents
  • Scheduling (Production)
  • Semantics
  • Software Development
  • Specifications
  • Test Methods
  • Translations
  • Universities
  • Verification

Fields of Study

  • Computer science