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
-
Tokyu Land Corporation and SRI Advance Japan’s “Global Startup Campus” Initiative
Collaboration pairs SRI’s Silicon Valley venture-building expertise with TLC’s Shibuya real estate network to grow Japan’s deep tech startup ecosystem.
-
A new science teaching assistant, powered by AI
SRI’s LOVE Science project integrates education expertise, LLMs, and video to make science relevant and effective for students.
-
SRI’s Self-Cooling Paint earns a spot in WEF’s global tech report
Passive radiative cooling among the world’s most consequential emerging technologies of 2026.