
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="font-family: 'Lucida Grande'; font-size: 11px; white-space: pre-wrap; ">Hi, I'm an italian student and I'm doing a thesis about Formal Verification. Now, I'm looking for information about mpi one-sided communication to see who uses one-sided and for what (user applications or implementing library). My target would be to implement a software to do model checking on mpi one-sided communication programs. But before begin my work, I'd like to know if this can be useful in the scientific world or if mpi one-sided communications is an obsolete standard doesn't use anymore, so it could be a work not much useful. I'd like to hear your idea about this topic. Sorry for my bad english, I hope that you understand me. Thanks for your attention. Simone</span></div></div></div></body></html>