Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10348914 | Journal of Systems and Software | 2005 | 10 Pages |
Abstract
This paper describes the RDT language and a transformation from RDT into Promela code (the input language of the SPIN model-checker) which can be performed automatically and illustrates the use of the technique with an example.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Robert John Walters,