Formal Analysis and Verification of Program Termination and Resource Bounds

This was presentation of advancements of my formal analysis research, which was partly funded by Red Hat company.