[LLVMdev] Linearizability

Andreas Wilhelm andreas.wilhelm at in.tum.de
Thu Oct 25 06:49:51 PDT 2012


I intend to create a tool for detecting thread-safety problems within libraries.
Therefore I would like to use the "Linearizability" correctness principle. Were there
any efforts within the KLEE project regarding to that topic? Would it be interesting
for the community at all?

Best regards,

More information about the llvm-dev mailing list