Pinned Repositories
checkmate
the CheckMate protocol verification tool
clara
CLuster And RepAir tool for introductory programming assignments
gdp-height
This repository contains all data and source code necessary to conduct an analysis of the correlation between the GDP per capita of a country and the average height of its 19-year-old inhabitants in the year of 2019. The experiment is based on two publicly available datasets.
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
bruggerl's Repositories
bruggerl/clara
CLuster And RepAir tool for introductory programming assignments
bruggerl/gdp-height
This repository contains all data and source code necessary to conduct an analysis of the correlation between the GDP per capita of a country and the average height of its 19-year-old inhabitants in the year of 2019. The experiment is based on two publicly available datasets.