Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Groups: Hyperproperties Formats: JSON Filter Results Visual Analysis of Hyperproperties The dataset is used for visual analysis of hyperproperties for understanding model checking results. Dataset JSON