Mechanization of a Large DSML: An Experiment with AADL and Coq

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 13, 2022
Source ID
10.1109/memocode57689.2022.9954589

Entities

People

  • Danielle Stewart
  • John Hatcliff
  • Jérôme Hugues
  • Lutz Wrage

Organizations

  • Carnegie Mellon University
  • Kansas State University
  • United States Army Combat Capabilities Development Command
  • United States Department of Defense