Filters








2 Hits in 1.8 sec

Reactive EFSMs — Reactive Promela/RSPIN [chapter]

Elie Najm, Frank Olsen
1996 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

Protocol verification with reactive PROMELA/RSPIN [chapter]

Elie Najm, Frank Olsen
1997 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