Abstract
The benefits of using formal methods are not easy to quantify. In the area of public telecommunications, the benefits, from the user's point of view, mainly increase the quality of services, and reduces the number of unexpected behaviors. In some cases, identifying gaps, undefined situations or even errors in the implementation may also prevent some mistakes which might be embarrassing for the service provider.
| Original language | English |
|---|---|
| Pages | 16-18 |
| Number of pages | 3 |
| No. | 1 |
| Specialist publication | Alcatel Telecommunications Review |
| Publication status | Published - 1 Jan 1999 |
| Externally published | Yes |