Formal fault tolerance analysis of complex digital systems for safety and security applications

The work

AuthorsDamiano Zuccalà
Editors
Typephdthesis
Year2025
Citekeyzuccala2025formal

Where it appeared

SchoolUniversité Grenoble Alpes

Identifiers

handletel-05500952

Access

Landing pagehttps://theses.hal.science/tel-05500952
Free full texthttps://theses.hal.science/tel-05500952/document

Empty on purpose

doi

Related

Containszuccala2025propagation
Distinct frombouzafour2018modelchecking
Distinct fromburlyaev2015design
Distinct fromdhingra1987formal
Distinct fromkastenbaum2021mechanically
Distinct fromplassan2018conclusive
Distinct fromporcher2012synthese
Distinct fromtoma2006verification
Distinct fromzuccala2025propagation

A copy is held

pdf, 10.3 MB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereagent via bibtex
Added2026-09-16 13:34 UTC
Approved bya person 2026-09-16 20:50 UTC

Filed under

absorb-or-recover do-formal-methods-pay state-space-not-proof

Cite it as

@phdthesis{zuccala2025formal,
  title        = {Formal fault tolerance analysis of complex digital systems for safety and security applications},
  author       = {Damiano Zuccalà},
  year         = {2025},
  school       = {Université Grenoble Alpes},
}

This record lives at https://refs.drheap.org/zuccala2025formal/ and will keep doing so.