21 citations · 88 across the 13 of their papers we have counts for
1 paper · 2 filters
Thomas Wies, Viktor Kuncak, Karen Zee +2
One of the main challenges in the verification of software systems is the analysis of unbounded data structures with dynamic memory allocation, such as linked data structures and a…