Generation of counter examples for network intent formal equivalence failures

Service charging method, service charging system, network access server and protocol resolving device