Searched for: +
(1 - 1 of 1)
document
van Buren, Rico (author)
Formal verification works better than testing, since the correctness of a program is proven. It is researched if it is possible and feasible to formally verify the Inductive Graph Library. The library is an abstract class in Haskell and is ported manually to Agda. Agda is a total and dependently typed language and thus can be used as a proof...
bachelor thesis 2021