Big data Optimized data handling Visualization Workflow technologies

Big data GPU High performance computing Multi-scale & multi model simulations Optimized data handling Real time data analysis

FAIR Research Software Impact Software Citation

Cancer vaccine Convolutional Neural Network Deep Learning Framework Geometric Deep Learning Graph Neural Network Missense variant Protein-Protein Interaction Structural biology

Correct-by-construction Gabow IRF Isabelle/HOL Isabelle Refinement Framework Linear programming Markov chain Markov decision process Model Checking Modest toolset Probabilistic Model Checking Probabilistic timed automata Program verification SCC Strongly Connected Components Topological value iteration

Correct-by-construction Floating-point IEEE 754 Interactive Theorem Proving Interval Iteration LLVM Markov decision process Probabilistic Model Checking Software Verification

Correct-by-construction Interactive Theorem Proving Maximal End Components Probabilistic Model Checking Software Verification Strongly Connected Components

All software

Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"