32 citations · 82 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 16 cited
VerifyThis 2019: A Program Verification Competition (Extended Report)
Claire Dross, Carlo A. Furia, Marieke Huisman +2
VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties -- something tha…
cs.SE2020★ 5 cited
Formal Methods: From Academia to Industrial Practice. A Travel Guide
Marieke Huisman, Dilian Gurov, Alexander Malkis
For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong bel…