Formal design of safety-critical systems with MARS

Puntos clave

• This approach highlights a significant improvement in system reliability through formal methodologies.
• Using MARS for design and verification maintained a fault tolerance rate above 95% in evaluated systems.
• The observational analysis involved fault-tolerant system architecture and formal verification methods.
• These findings suggest that implementing MARS could enhance system safety in various applications.