RSS 1 project tagged "model checker"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.60
Vit 18.71

CDSChecker is a stateless model checker for C11/C++11 atomics.

Screenshot

Project Spotlight

Polipo

A lightweight caching Web proxy.

Screenshot

Project Spotlight

g7ctrl

A daemon for the GM7 GPS Tracker.