Formal Methods For Open Object Based Distributed Systems Ifip Tc6 | Desertcart Cote D' Ivoire