1
Ábrahám, Erika
2014
Table of Contents:
“... Evidence -- GRASShopper: Complete Heap Verification with Mixed Specifications -- Alternating Runtime and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates for Linear Loops -- Modeling and Model Checking...”2014
Full text