The following pages link to Delphine Demange (Q1687772):
Displayed 6 items.
- Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- Plan B (Q2931808) (← links)
- Validating Dominator Trees for a Fast, Verified Dominance Test (Q2945625) (← links)
- All Secrets Great and Small (Q3617701) (← links)
- A verified information-flow architecture (Q5408414) (← links)