1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Siddharth Krishna, Alexander J. Summers, Thomas Wies
Separation logics are widely used for verifying programs that manipulate complex heap-based data structures. These logics build on so-called separation algebras, which allow expres…