A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014

Document Details

Document Type: Pub Defense Publication
Publication Date: Feb 01, 2022
Source ID: 10.1016/j.sysarc.2021.102376

Entities

People

Jérôme Hugues

Organizations

Carnegie Mellon University
United States Department of Defense