Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.

Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas

Browse the full IFM paper archive.