Assurance Cases
Blog Posts
Eliminative Argumentation: A Means for Assuring Confidence in Safety-Critical Systems
This SEI Blog post explores benefits of using Baconian probability and eliminative induction as methods for assuring confidence in safety-critical systems.
• By Charles Weinstock
Assurance Cases and Confidence
This SEI Blog post, part of a series on confidence, introduces assurance cases and their role in demonstrating compliance with safety and security requirements.
• By Charles Weinstock