Displaying 1 result from an estimated 1 matches for "keeda".
Did you mean:
eeda
2012 Oct 25
0
[LLVMdev] [klee-dev] Linearizability
...lity" 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,
> Andreas
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
--
Baris