Formally Verifying Fault Tolerant System Designs

DOI10.1093/COMJNL/43.3.191zbMath0969.68567OpenAlexW2081756744MaRDI QIDQ2730080

Alessandro Fantechi, Cinzia Bernardeschi, Luca Simoncini

Publication date: 1 October 2001

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/43.3.191

zbMATH Keywords

verificationspecificationfault tolerant system designs

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Related Items (3)

Model-based construction and verification of critical systems using composition and partial refinement ⋮ An object based algebra for specifying a fault tolerant software architecture ⋮ Automating the addition of fault tolerance with discrete controller synthesis

This page was built for publication: Formally Verifying Fault Tolerant System Designs