A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Reactive Promela/RSPIN is an extension to the protocol validator Promela/SPIN. ... Reactive Promela is a simple reactive language. The tool RSPIN is a preprocessor for SPIN which translates a Reactive Promela specification into a corresponding Promela specification. ... We also have some ideas for extensions to Reactive Promela/RSPIN. ...doi:10.1007/3-540-61042-1_54 fatcat:et4l62pa5rhnfc5mozodxx4yha
The SPIN Verification System
Reactive Promela/RSPIN is an extension to t he protocol validator Promela/SPIN. ... 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 aim of th i s i s t o c o m bat t he s t ate-explosion problem which limits t he size of systems that can be veri ed. 3 Overview of Reactive Promela/RSPIN We n o w g o o n t o d escribe our Reactive ...doi:10.1090/dimacs/032/09 dblp:conf/dimacs/NajmO96 fatcat:wpzaf4mpxrddfjh7juv2gt7ys4