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.
--
This message is automatically generated by JIRA.
For more information on JIRA, see: