collaborators

1 paper

cs.LO2023

Automata-Based Software Model Checking of Hyperproperties

Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann +1

We develop model checking algorithms for Temporal Stream Logic (TSL) and Hyper Temporal Stream Logic (HyperTSL) modulo theories. TSL extends Linear Temporal Logic (LTL) with memory…