This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
You would like to do some formal verification of C code? Or you would like a challenge for your formal-verification tool? Either way, here you go! Stupid RCU Tricks: rcutorture Catches an RCU Bug , also known as Verification Challenge 1. Verification Challenge 2: RCU NO_HZ_FULL_SYSIDLE . Verification Challenge 3: cbmc . Verification Challenge 4: Tiny RCU . Verification Challenge 5: Uses of RCU .…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.