Collaborated with:
M.Guthmuller M.Quinson
Talks about:
distribut (1) system (1) legaci (1) formal (1) detect (1) applic (1) verif (1) state (1) level (1) equal (1)
Person: Gabriel Corona
DBLP: Corona:Gabriel
Contributed to:
Wrote 1 papers:
- PDP-2015-GuthmullerQC #detection #distributed #legacy #similarity #verification
- System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications (MG, MQ, GC), pp. 451–458.