Registered user since Thu 25 Jan 2024
Name:Enrico Magnago
Affiliation:Amazon Web Services
Personal website: https://enmag.github.io/
Research interests:Formal Verification, Symbolic Model Checking, SAT, SMT, LTL
Contributions
PLDI 2024-profile
View general profile
View general profile