1999 | OriginalPaper | Buchkapitel
Embedding a Dialect of SDL in PROMELA
verfasst von : Heikki Tuominen
Erschienen in: Theoretical and Practical Aspects of SPIN Model Checking
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straight- forward 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.