DiVinE - A Tool for Distributed Verification.

Jiri Barnat, Lubos Brim, Ivana Cern, Pavel Moravec, Petr Rockai, Pavel Simecek

Browse the full CAV paper archive.