aeflores / CoFloCoLinks

CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
19Updated 3 years ago

Alternatives and similar repositories for CoFloCo

Users that are interested in CoFloCo are comparing it to the libraries listed below

Sorting: