icon-carat-right menu search cmu-wordmark
Carnegie Mellon University cmu-wordmark
Search
Mobile Menu
  1. Home
  2. Publications
  3. Authors
  4. David Tate (Institute of Defense Analysis)

David Tate (Institute of Defense Analysis)

Institute of Defense Analysis

Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)

January 18, 2024 • White Paper

By Dionisio de Niz , Bjorn Andersson , Mark H. Klein , John Lehoczky (Carnegie Mellon University) , Hyoseung Kim (University of California, Riverside) , George Romanski (Federal Aviation Administration) , Jonathan Preston (Lockheed Martin Corporation) , Daniel Shapiro (Institute of Defense Analysis) , Floyd Fazi (Lockheed Martin Corporation) , Douglas Schmidt (William & Mary) , David Tate (Institute of Defense Analysis) , Gordon Putsche (The Boeing Company) , Ronald Koontz (Boeing Company)

  • Report a Vulnerability to CERT/CC
  • Subscribe to SEI Bulletin
  • Request Permission to Use SEI Materials
sei

Advancing Software for National Security
Sponsored by the Department of War, the SEI is a federally funded research and development center managed by Carnegie Mellon University.

Main Office
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800
About Our Work Publications News and Events Education and Outreach Careers
Digital library Blog Podcasts
Facebook LinkedIn X YouTube

2026 Carnegie Mellon University

  • Contact Us
  • Office Locations
  • Privacy Notice
  • Legal
  • www.cmu.edu
  • 2026 Carnegie Mellon University