Experimental evaluation of Cost Analysis of Programs Based on the Refinement of Cost Relations
Examples from the Literature: Lower Bounds
Compare two systems
System 1:
CoFloCo
System 2:
PUBS
Summary table:
Detailed table: