search menu icon-carat-right cmu-wordmark

Blog Posts

Assurance Cases and Confidence

From the braking system in your automobile to the software that controls the aircraft that you fly in, safety-critical systems are ubiquitous. Showing that such systems meet their safety requirements …

• By