1,668 followers
RT @jserv: It is used together with mutation analysis on the Read-Copy-Update (RCU) mechanism in mainline Linux kernel. In addition, a rese…
RT @jserv: It is used together with mutation analysis on the Read-Copy-Update (RCU) mechanism in mainline Linux kernel. In addition, a rese…
It is used together with mutation analysis on the Read-Copy-Update (RCU) mechanism in mainline Linux kernel. In addition, a research paper proposed to verify Linux device drivers via CBMC: https://t.co/1rmf1oHQD6