The following pages link to Huu Hai Nguyen (Q436398):
Displayed 8 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Enhancing modular OO verification with separation logic (Q3189829) (← links)
- Enhancing Program Verification with Lemmas (Q3512504) (← links)
- Automated Deduction – CADE-20 (Q5394619) (← links)
- Automated Verification of Shape and Size Properties Via Separation Logic (Q5452612) (← links)
- Runtime Checking for Separation Logic (Q5452718) (← links)
- Static Analysis (Q5897429) (← links)