[2022-12-23 Fri]: Our paper "Efficient Loop Conditions for Bounded Model Checking Hyperpropertied" accepted at TACAS 23
Tzu-Han Hsu, Cesar Sanchez, Sarai Sheinvald and Borzoo Bonakdarpour: ``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.