Marion Guthmuller, Gabriel Corona, Martin Quinson. System-level state equality detection for the formal dynamic verification of legacy distributed applications.
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 96, pp.1 - 11.
⟨10.1016/j.jlamp.2017.12.004⟩.
⟨hal-01900120⟩