1,784 followers
👀 / nekton: A Linearizability Proof Checker https://t.co/kykkJGD36W
👀 / nekton: A Linearizability Proof Checker https://t.co/kykkJGD36W
My #cav23 contribution is out: Check all behavioral equivalences between #bisimulation and trace inclusion through one simple #energygame. https://t.co/l6ikJSBTmq