Dataset Groups Activity Stream Visual Analysis of Hyperproperties The dataset is used for visual analysis of hyperproperties for understanding model checking results. BibTex: @dataset{Tom_Horak_and_Norine_Coenen_and_Niklas_Metzger_and_Christopher_Hahn_and_Tamara_Flemisch_and_Dennis_Dimov_and_Bernd_Finkbeiner_and_Raimund_Dachselt_2024, abstract = {The dataset is used for visual analysis of hyperproperties for understanding model checking results.}, author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt}, doi = {10.57702/z5y4f6ci}, institution = {No Organization}, keyword = {'hyperproperties', 'model checking', 'visual analysis'}, month = {dec}, publisher = {TIB}, title = {Visual Analysis of Hyperproperties}, url = {https://service.tib.eu/ldmservice/dataset/visual-analysis-of-hyperproperties}, year = {2024} }