A case-study in component-based mechanical verification of fault-tolerant programs

Symbolic Model Checking for Self-Stabilizing Algorithms

IEEE Transactions on Parallel and Distributed Systems

An Overview of Formal Verification for the Time-Triggered Architecture

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2

A note on K-state self-stabilization in a ring with K = N

Nordic Journal of Computing

Disassembling real-time fault-tolerant programs

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software

Compositional verification of fault-tolerant real-time programs

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software

Mechanical verification of automatic synthesis of fault-tolerant programs

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Towards scalable model checking of self-stabilizing programs

Journal of Parallel and Distributed Computing