Symbolic Model Checking for Self-Stabilizing Algorithms
IEEE Transactions on Parallel and Distributed Systems
A Mechanized Proof Environment for the Convenient Computations Proof Method
Formal Methods in System Design
A note on K-state self-stabilization in a ring with K = N
Nordic Journal of Computing
Effect of fairness in model checking of self-stabilizing programs
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
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
Hi-index | 0.00 |