a suite of tools for teaching concurrency
This poster describes a suite of new or improved tools for teaching concurrent and distributed computation. The tools are written in Java for portability and are freely available at the address http://stwww.weizmann.ac.il/g-cs/~benari/software.htm, under the GNU General Public License. (Some tools invoke other programs which have different licensing arrangements.)
spin byzantine generals concurrency simulators model checking