Advertisement

This chapter surveys constructs of Promela that are used less often than the ones that have been discussed. The intent is to bring them to the attention of the reader, rather than to explain their use in detail. For more information see SMC and the man pages.

Keywords

Advance Topic Standard Input Model Check Technique Partial Order Reduction Interrupt Handler 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 2008

Personalised recommendations