Constraint-Based Monitoring of Hyperproperties

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17465-1_7 ◽

2019 ◽

pp. 115-131 ◽

Cited By ~ 9

Author(s):

Christopher Hahn ◽

Marvin Stenger ◽

Leander Tentrup

Download Full-text