-
Visual Analysis of Hyperproperties
The dataset is used for visual analysis of hyperproperties for understanding model checking results. -
RADAR (Research Data Repository)
Imported
Experimental data for the paper "analyzing and predicting verification of dat...
Abstract: These are the experimental data for the paper Ordoni, Elaheh, Jakob Bach, and Ann-Katrin Fleck. "Analyzing and Predicting Verification of Data-Aware Process Models--A...
