Monitoring hyperproperties
Finkbeiner, Bernd, Hahn, Christopher, Stenger, Marvin, Tentrup, LeanderLanguage:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-019-00334-z
Date:
June, 2019
File:
PDF, 888 KB
english, 2019