Fixed small bug, the channel was not defined the same way it was used (missing a parameter).
Fixed small bug, the channel was not defined the same way it was used (missing a parameter).

Added ltl statement for liveness of clients.

fstamour/log4410-methodes-formelles