[Mpi-forum] MPI One-Sided Communication

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