Bart Jacobs

Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast

2016

We describe our partial solutions, using our VeriFast separation-logic based tool for modular formal verification of C and Java programs, to Challenges 2 and 3 of the VerifyThis 2016 Verification Competition, involving the verification of …

A Type Theory for Probabilistic and Bayesian Reasoning

2015 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Contains fulltext : 191731.pdf (Publisher’s version ) (Open Access)