Search for dissertations about: "customised induction rules"
Found 1 swedish dissertation containing the words customised induction rules.
-
1. Induction Rules for Proving Correctness of Imperative Programs
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
Result pages:
1