Sökning: "customised induction rules"

Hittade 1 avhandling innehållade orden customised induction rules.

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