Announcement_21
Our paper Automata-Based Software Model Checking of Hyperproperties has been accepted at NFM’23. This work builds on Janine Lohse’s Bachelor’s thesis supervised by Hadar Frenkel and myself.
Our paper Automata-Based Software Model Checking of Hyperproperties has been accepted at NFM’23. This work builds on Janine Lohse’s Bachelor’s thesis supervised by Hadar Frenkel and myself.