41 search results - page 9 / 9 » Proof Assistance for Real-Time Systems Using an Interactive ... |
251
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...