Nuno Macedo
Nuno Macedo
Affiliation: Universidade do Minho & INESC TEC
Pages in this Program
HyperLasso: Bounded Model Checking of ∀+∃+-Liveness Hyperproperties
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑