Monitoring hyperproperties

Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2019) Monitoring hyperproperties.
Formal Methods Syst. Des., 54 (3). pp. 336-363.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/s10703-019-00334-z

Actions

Actions (login required)

View Item View Item