Bram Kohlen (profile)

Usage statistics

Totals for datasets (co-)authored by Bram Kohlen

430

downloads

1037

views

Location

University of Twente

https://www.linkedin.com/in/bram-kohlen-a715ba154/

Bram Kohlen 0000-0003-2908-8838

Biography

Model checking algorithms will never be bug free because they are complex and have to be implemented manually. I don't agree with this statement and I am currently working to show that. I proof the said algorithms correct in the theorem prover Isabelle/HOL and then generate correct-by-construction code from these algorithms.

Datasets

Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Co-authors

Co-authors of Bram Kohlen's datasets/collections. Bold: authors with a 4TU.ResearchData account.

Arnd Hartmanns
Maximilian Schäffeler
Mohammad Abdulaziz
Peter Lammich