System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications.

Marion Guthmuller, Martin Quinson, Gabriel Corona

Browse the full PDP paper archive.