fkj / c-ctl-check

A prototype model checker for CTL over constraint semirings

Geek Repo

Github PK Tool