Search for dissertations about: "Tobias Gedell"

Found 2 swedish dissertations containing the words Tobias Gedell.

2. 1. Combining and Strengthening Program Analysis and Verification

   Author : Tobias Gedell; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis is about methods for establishing semantic properties of programsand how those methods can be strengthened. Finding (semi-)algorithms fordeciding semantic properties is a non-trivial task and such algorithms will, bynecessity, give approximate answers. READ MORE

4. 2. Static Analysis and Deductive Verification of Programs

   Author : Tobias Gedell; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis is concerned with analysis of programs. Analysis of programs can be divided into two camps: static analysis and formal verification.Static program analyses compute a result and terminate for all programs. READ MORE