A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf
.
Protocol verification with reactive PROMELA/RSPIN
[chapter]
1997
The SPIN Verification System
Reactive Promela/RSPIN is an extension to t he protocol validator Promela/SPIN. It enhances the s i m ulation and v eri cation capabilities of SPIN by allowing m o d ular speci cations to b e a n alysed while alleviating the s t ate-space explosion problem. Reactive Promela is a simple reactive language. The t ool RSPIN is a preprocessor for SPIN which translates a Reactive Promela speci cation into a corresponding Promela speci cation. The m ain function performed by RSPIN is to combine con
doi:10.1090/dimacs/032/09
dblp:conf/dimacs/NajmO96
fatcat:wpzaf4mpxrddfjh7juv2gt7ys4