Sökning: "Adrian Westerberg"
Hittade 3 uppsatser innehållade orden Adrian Westerberg.
1. Review of magnetic bead surface markers for stem cell separation : Literature study for MAGic Bioprocessing
Kandidat-uppsats, Uppsala universitet/Institutionen för materialvetenskapSammanfattning : 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. LÄS MER
2. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
3. Comparing Verification of List Functions in LiquidHaskell and Idris
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER