Appunti

Report: Software failure caused $1.7 trillion in financial losses in 2017

A Framework for Test and Analysis

Finite Models

Dependence and Data Flow Models

Homeworks

H1 - CFG

H2 - LCSAJ

H3 - Data and Control Dependence

H4 - Data Flow Analysis

Assignments

Assignment A1.part1

Assignment A1.part2

Assignment A2: Finite Models

Self-Assestments

Finite Models

Appunti Q&A