Marion Guthmuller, Martin Quinson, Gabriel Corona. System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. In Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson, editors, 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015. pages 451-458, IEEE, 2015. [doi]
Abstract is missing.