2026-07-22T00:09:39Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3783 2024-03-06T10:25:52Z ddc:004 open_access

Verifying Reliability (Dagstuhl Seminar 12341) Fey, Görschwin Fujita, Masahiro Miskov-Zivanov, Natasa Roy, Kaushik Sonza Reorda, Matteo Reliability fault modeling formal methods Moore's law has been the driving force behind the increasing computing power of today's devices which is based on shrinking feature sizes. This shrinking process makes future devices extremely susceptible to soft errors due to, e.g., external influences like environmental radiation and internal issues like stress effects, aging and process variation. For future technology nodes "Designing reliable systems from unreliable components". Schloss Dagstuhl – Leibniz-Zentrum für Informatik Görschwin Fey and Masahiro Fujita and Natasa Miskov-Zivanov and Kaushik Roy and Matteo Sonza Reorda 2012 Is Part Of Dagstuhl Reports, Volume 2, Issue 8 (2013) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.2.8.57 urn:nbn:de:0030-drops-37830 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.57 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode