Search for dissertations about: "proving"
Showing result 11 - 15 of 207 swedish dissertations containing the word proving.
-
11. Testing and Proving in Dependent Type Theory
Abstract : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. READ MORE
-
12. Collage induction : proving properties of logic programs by program synthesis
Abstract : The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which treats mathematical induction as a natural generalization of the CUT-rule. READ MORE
-
13. Induction rules for proving correctness of imperative programs
Abstract : .... READ MORE
-
14. Safety Proofs for Automated Driving using Formal Methods
Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE
-
15. Theory Exploration for Programs and Proofs
Abstract : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. READ MORE