A 2007 study by the National Academy of Sciences provides strong motivation to explore the use of dependability cases as a means to address verification, and ultimately, certification, of highly complex systems. Kestrel Technology, LLC, is developing a prototype extensible workbench to develop, maintain, and analyze safety cases – a specialized form of dependability cases. The CertWare workbench contributes several core modules supporting safety case models, and extends these with a service-based APIs for plugging new capabilities into the workbench for processing these models.
There are no reported vulnerabilities
30 Day SummaryOct 28 2025 — Nov 27 2025
|
12 Month SummaryNov 27 2024 — Nov 27 2025
|