Hi Steve, The current release of KLEE does not support any kind of parallelism -- you have to implement/model it on your own. Nevertheless, people from EPFL have already implemented pthread support as an extension to KLEE and published a nice paper about this topic:
http://dslab.epfl.ch/pubs/esd I don't know if this extension is available online or will ever be released. Best, Raimondas On 30.11.2010, at 22:14, Stephen Siegel wrote: > Hi, > Can any of you tell me if KLEE can be applied to any kind of parallel > program, such as one using Pthreads, or OpenMP, or MPI, ....? > Thanks, > Steve > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4409 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101201/5d000bf7/attachment.bin
