Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.

Ling Zhu, Sandeep S. Kulkarni

Browse the full GECCO paper archive.