bruggerl

Pinned Repositories

checkmate
the CheckMate protocol verification tool
Language:C++8 4 60
clara
CLuster And RepAir tool for introductory programming assignments
Language:Python1 0 00
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.
Language:Python0 0 00
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Language:Scala29 6 41019
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Language:Scala78 6 64130
silver
Definition of the Viper intermediate verification language.
Language:Scala78 9 56540

bruggerl's Repositories

bruggerl/clara
CLuster And RepAir tool for introductory programming assignments
Language:Python1 0 00
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.
Language:Python0 0 00