Contact
DMCA
Privacy
Robuta
https://arxiv.org/abs/1709.08510
[1709.08510] Team Semantics for the Specification and Verification of Hyperproperties
Abstract page for arXiv paper 1709.08510: Team Semantics for the Specification and Verification of Hyperproperties
team semantics
specification
verification