Variables abstraction in SDL
State explosion problem is an essential impediment in practical applications of formal languages such as SDL, Specification and Description Language. In the context of validation and testing, one of the possible solutions is to abstract a constructed formal specification by removing certain, unimpor...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
McGill University
2001
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33856 |