jSpin awards

A GUI for the Spin model checker that verifies concurrent & distributed programs
Click on the award to reveal its code, which you can use on your website

Software Informer awards

Software Informer Virus Free award