Property verification in the design of telecom applications