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’s Natarajan Shankar named a 2025 ACM Fellow
The accolade from the Association of Computing Machinery recognizes Shankar’s fundamental contributions in areas such as formal methods and system assurance.
-
SRI robotics innovations featured in Silicon Valley mini-doc
Angel investor and media producer Will Phillips explores two groundbreaking SRI-born projects in his mini-documentary on the Bay Area startup scene.
-
Chris Cowart: Activating Japan’s intrapreneurial superheroes
At the Nomura-SRI Innovation Center, Cowart leads a team that equips corporate innovators to create technology-driven change.