Testing Distributed Systems Through Symbolic Model Checking.

Gabriel Kalyon, Thierry Massart, Cdric Meuter, Laurent Van Begin

Browse the full FORTE paper archive.