CoFloCo software on GitHub

Software OPEN SOURCE

CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
Share - Bookmark