Registered user since Wed 19 Aug 2026
Name:Alberto Bombardelli
Country:Japan
Affiliation:Kyoto University, Japan
Personal website: https://albbombardelli.github.io/
Research interests:Hyperproperties, Symbolic Model Checking, Compositional Verification, LTL modulo theory
Contributions
Using general profile