erwanm974 / hibou_lfrem_por_loc_graph_size_benchmark Goto Github PK
View Code? Open in Web Editor NEWExperimental evaluation of analysis graph size for multi-trace analysis using two techniques for partial order reduction and local analyses
License: Apache License 2.0