Model FLUSH in Promela and run simulations in Spin -------------------------------------------------- Key: JGRP-660 URL: http://jira.jboss.com/jira/browse/JGRP-660 Project: JGroups Issue Type: Feature Request Reporter: Vladimir Blagojevic Assigned To: Vladimir Blagojevic We should model FLUSH in Promela and run model simulations in SPIN. Verify feasibility and cost/benefit of this approach. If the outcome is beneficial consider modeling other protocols as well. -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: http://jira.jboss.com/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira