scientific article; zbMATH DE number 1543325

MaRDI QIDQ4520798zbMATH OpenFDO

Authors Felix C. Freiling

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_5_10/transformational_approaches_to_the

zbMATH Keywords

fault-tolerant systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formally verifying fault tolerant system designs
• A compositional framework for fault tolerance by specification transformation
• scientific article; zbMATH DE number 3890717
• Design and verification of fault tolerant systems with CSP
• Transformation of programs for fault-tolerance

Cited in

(7)

• Design and verification of fault tolerant systems with CSP
• A compositional framework for fault tolerance by specification transformation
• Simulation relations for fault-tolerance
• scientific article; zbMATH DE number 1696500 (Why is no real title available?)
• Logical specification and analysis of fault tolerant systems through partial model checking
• Correct transformation: from object-based graph grammars to PROMELA
• scientific article; zbMATH DE number 1107558 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520798)