Deciding Hyperproperties Combined with Functional Specifications

Overview of attention for article published in arXiv, August 2022

Altmetric Badge

About this Attention Score

Above-average Attention Score compared to outputs of the same age (51st percentile)
Good Attention Score compared to outputs of the same age and source (73rd percentile)

Mentioned by

twitter: 2 X users

Readers on

mendeley: 2 Mendeley

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 891 followers.

RT @jana_tweets_cs: Our paper "Deciding Hyperproperties Combined with Functional Specifications" has been accepted at LICS'22! I'm SO much…

Our paper "Deciding Hyperproperties Combined with Functional Specifications" has been accepted at LICS'22! I'm SO much looking forward to FLoC this year, finally a conference in person again 🥳 The full version of the paper is now on ArXiv: https://t.co/j…

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.