On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency.

Kim Vllinger, Samira Akili

Browse the full FORTE paper archive.