Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

1999 | OriginalPaper | Chapter

Embedding a Dialect of SDL in PROMELA

Author : Heikki Tuominen

Published in: Theoretical and Practical Aspects of SPIN Model Checking

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Metadata
Title
Embedding a Dialect of SDL in PROMELA
Author
Heikki Tuominen
Copyright Year
1999
Publisher
Springer Berlin Heidelberg
Book
Theoretical and Practical Aspects of SPIN Model Checking

Print ISBN: 978-3-540-66499-4

Electronic ISBN: 978-3-540-48234-5

Copyright Year: 1999

DOI
https://doi.org/10.1007/3-540-48234-2_19

Premium Partner

    Image Credits