[jboss-jira] [JBoss JIRA] Deleted: (JGRP-660) Model FLUSH in Promela and run simulations in Spin

Model FLUSH in Promela and run simulations in Spin -------------------------------------------------- Key: JGRP-660 URL: https://issues.jboss.org/browse/JGRP-660 Project: JGroups Issue Type: Feature Request Reporter: Vladimir Blagojevic Assignee: 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.