Static Analysis for Model Checking

Terepeta, Michal Tomasz (PhD Student)
Nielson, Flemming (Supervisor)
Mödersheim, Sebastian Alexander (Examiner)
Cortesi, Agostino (Examiner)
Jensen, Thomas (Examiner)
Nielson, Hanne Riis (Main Supervisor)

Status	Finished
Effective start/end date	01/08/2010 → 25/10/2013

Funding

1/3 FUU, 1/3 inst 1/3 Andet

1 Ph.D. thesis

An algebraic approach to analysis of recursive and concurrent programs
Terepeta, M. T., 2013, Kgs. Lyngby: Technical University of Denmark. 205 p. (IMM-PHD-2013; No. 307).
Research output: Book/Report › Ph.D. thesis

Open Access
File
675 Downloads (Orbit)