Advanced Topics in Promela
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.
KeywordsAdvance Topic Standard Input Model Check Technique Partial Order Reduction Interrupt Handler
Unable to display preview. Download preview PDF.