Search for dissertations about: "Angela Wallenburg"

Found 2 swedish dissertations containing the words Angela Wallenburg.

2. 1. Induction Rules for Proving Correctness of Imperative Programs

   Author : Angela Wallenburg; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; software testing; interactive theorem proving; mathematical induction; customised induction rules;

   Abstract : This thesis is aimed at simplifying the user-interaction in semi-interactive theorem proving for imperative programs. More specifically, we describe the creation of customised induction rules that are tailor-made for the specific program to verify and thus make the resulting proof simpler. READ MORE

4. 2. Induction rules for proving correctness of imperative programs

   Author : Angela Wallenburg; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : .... READ MORE