[2022-12-23 Fri]: Our paper "Bounded Model Checking for Asynchronous Hyperproperties. " accepted at TACAS 23
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez: ``Efficient Loop Conditions for Bounded Model Checking Hyperproperties’’ will appear in TACAS'23
César Sánchez
Research Professor
My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Applications to Blockchain.