/hibou_lfrem_por_loc_time_benchmark

Experimental evaluation of analysis time for multi-trace analysis using two techniques for partial order reduction and local analyses

Apache License 2.0Apache-2.0

Watchers