69 search results - page 1 / 14 » On the testability of SDL specifications |
SDL
2001
13 years 5 months ago
2001
CN
2004
13 years 4 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
SDL
1997
13 years 5 months ago
1997
SDL
2007
13 years 6 months ago
2007
SDL
2001
13 years 5 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...