NEWS - Nr. The proceedings of the 1996 Spin Workshop are now being printed by the AMS and will soon be available. J-C. Gregoire, G.J. Holzmann, and D.A. Peled. We are looking forward to many participants, good demos, and inspiring talks. A shuttle-bus will run on April 5 between hotel an workshop.
Comments are welcome.
The current version of Spin is still 2.9.4, from 4 November 1996. In a standard receive operation, only constant fields can be used to make the receive conditional on the value of specific parts in the incoming message. This makes it possible to make a conditional receive that matches a possibly changing value of a variable. This work gives a solution which enables the synthesis of a general method for addressing problems associated with these procedures. This method has been applied on several case studies by using the SPIN verification tool.