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.