2 citations · 3 across the 10 of their papers we have counts for
1 paper · 1 filter
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi +1
Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyb…