Citation
Rushby, J. (2013, 24-27 September). Logic and epistemology in safety cases. Paper presented at the International Conference on Computer Safety, Reliability and Security (SAFECOMP ’13), Toulouse, France.
Logic and Epistemology in Safety Cases
Read more from SRI
-
SRI research aims to make generative AI more trustworthy
Researchers have developed a new framework that reduces generative AI hallucinations by up to 32%.
-
Transforming matter: Researchers create perfect crystals from amorphous blobs
SRI aims to create a new electronic device class made of two or more semiconductors.
-
2024 at SRI: A year of breakthroughs
Delivering world-changing solutions for a safer, healthier, and more sustainable future.