4 ms·

Does it help in any way with designing a better garbage collector?

• mhh__ 5y ago
  Not really. Statically verifying a GC is probably the kind of thing you want to specify in TLA+ whereas this basically only infers corruption on "local" memory i.e. as opposed abstract memory being managed by a GC