research
∙
07/12/2021
Teaching Design by Contract using Snap!
With the progress in deductive program verification research, new tools ...
share
research
∙
08/31/2020
VerifyThis 2019: A Program Verification Competition (Extended Report)
VerifyThis is a series of program verification competitions that emphasi...
research
∙
02/17/2020
Formal Methods: From Academia to Industrial Practice. A Travel Guide
For many decades, formal methods are considered to be the way forward to...
research
∙
06/26/2018