rulerz

Powerful implementation of the Specification pattern in PHP

tlaplus

TLC is an explicit state model checker for specifications wr...