research
∙
09/08/2023
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
This paper determines if a callback can be called by an event-driven fra...
share
research
∙
10/26/2017
