DARPA's Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS) project called PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER).
Distribution Statement A: Approved for Public Release, Distribution Unlimited
Copyright © 2023, General Electric Company, Board of Trustees of the University of Maryland, Baltimore County