Matchbox

Matchbox

This is a web-based installation of Matchbox.

Instructions:

Select an example configuration from the dropdown box, click "Run" to run either of the programs individually, or "Find Race Conditions" to compute all interleavings of the two programs and look for race conditions between them.

This JavaScript implementation of Matchbox uses the Web Workers facility of your browser to run the evaluation process. So, if your browser does not support Web Workers, it may not function correctly.