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
-
Parker Solar Probe: Our closest look at the sun
SRI imaging technology supports a record-shattering NASA mission.
-
Robots in the cleanroom
A global health leader is exploring how SRI’s robotic telemanipulation technology can enhance pharmaceutical manufacturing.
-
SRI research aims to make generative AI more trustworthy
Researchers have developed a new framework that reduces generative AI hallucinations by up to 32%.