StEAM- XXL Evaluation - StEAM is growing

Here we report some of the C++ programs involving multithreading that StEAM has been able to check.

For each program, we provide the sources and the compiled executable to be run directly by StEAM.

Checked C++ programs

Deadlock Detection: The Dining Philosophers Problem
Source as gzip
See source in cvs
Igcc binary


RANGE and Hashing: Solving the 8-puzzle
Source as gzip
See source in cvs
Igcc binary