Essays about: "Adrian Westerberg"
Found 3 essays containing the words Adrian Westerberg.
-
1. Review of magnetic bead surface markers for stem cell separation : Literature study for MAGic Bioprocessing
University essay from Uppsala universitet/Institutionen för materialvetenskapAbstract : Stem cell therapy and transplantation is a quickly evolving field with many clinical applications. However, several problems need to be overcome before they can be applied on an allogenic scale, and among them is ensuring of the purity of the applied differentiated stem cell culture. READ MORE
-
2. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : HolBA is a binary analysis library that can be used to formally verify binary programs using contracts. It is developed in the interactive theorem prover HOL4 to achieve a high degree of trust in verification, the result of verification is a machine-checked proof demonstrating its correctness. This thesis presents two proof-producing procedures. READ MORE
-
3. Comparing Verification of List Functions in LiquidHaskell and Idris
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Formal verification is important for guaranteeing correctness of critical computer programs. LiquidHaskell and Idris are 2 functional programming languages in which formal verification can be performed using the respective type systems. READ MORE