1 project tagged "model checker"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.36
Vit 19.75

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

Screenshot

Project Spotlight

KaHIP

A family of graph partitioning programs.

Screenshot

Project Spotlight

GroupOffice groupware and CRM

Groupware that lets you share projects, calendars, files, and email online.