icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Gordon Putsche (The Boeing Company)
Gordon Putsche (The Boeing Company)
Boeing Company
All
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 (Vanderbilt University)
,
David Tate (Institute of Defense Analysis)
,
Gordon Putsche (The Boeing Company)
,
Ronald Koontz (Boeing Company)