Sökning: "Angela Wallenburg"

Hittade 2 avhandlingar innehållade orden Angela Wallenburg.

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

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Angela Wallenburg; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER