The development of modern distributed applications is stretching the
limits in term of design complexity and manageability. In order to
develop reliable distributed applications new tools and methods must
be developed. We propose a solution based on a modeling language LfP
and associated development methodology. This paper shortly presents
our general methodology and the LfP language. It then focuses on
formal verification of LfP specificaions.