Sciweavers

Share
SPIN
1999
Springer

Embedding a Dialect of SDL in PROMELA

10 years 2 months ago
Embedding a Dialect of SDL in PROMELA
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as well as processes, procedures, and services. Together with SPIN the translation provides a simulation and verification environment for most SDL features.
Heikki Tuominen
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1999
Where SPIN
Authors Heikki Tuominen
Comments (0)
books