Welkom...

B. Kohlen MSc (Bram)

Promovendus

Over mij

Sinds januari 2021 werk ik aan het project "Verified Probabilistic Verification". Er zijn verschillende manieren om systemen en software te testen. Model Checking is een zulke manier. Mijn interesse ligt daarbij vooral bij het testen van systemen die willekeurig gedrag vertonen. Deze kunnen we verifiëren met "Probabilistic Model Checking". Een van de belangrijkste algoritmes blijkt echter foutief te zijn. Ik probeer het vertrouwen in onze methodes te herstellen door onze algoritmes correct te bewijzen in de theorem prover Isabelle/HOL. Met het Isabelle Refinement Framework wil ik deze bewijzen vertalen naar uitvoerbare code die bestaande implementaties kan valideren en zelfs snel genoeg is om geïntegreerd te worden in de model checkers zoals de Modest Toolset.

Verbonden aan Opleidingen

Master

Vakken Collegejaar  2022/2023

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3126
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3126
Postbus 217
7500 AE Enschede