analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Klever concurrency safety support

Open sim642 opened this issue 3 years ago • 0 comments

Adds support for Klever/LDV specific concurrency safety model functions as described in https://github.com/goblint/bench/issues/3#issuecomment-1056675513. Needed to analyze https://github.com/goblint/bench/pull/27.

sim642 avatar Apr 14 '22 13:04 sim642