Kater is a tool that can prove metatheoretic properties of weak memory models. It can also be used to generate consistency checking code for stateless model checking tools like GenMC. This repository ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback