VerifyThis 2019: A Program Verification Competition (Extended Report)

Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

Formal Methods and Tools

Research output: Working paper

69 Downloads (Pure)

1 Article

1 results

2021
VerifyThis 2019: a program verification competition
Dross, C., Furia, C. A., Huisman, M., Monahan, R. & Müller, P., Dec 2021, In: International journal on software tools for technology transfer. 23, 6, p. 883-893 11 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
10 Citations (Scopus)

77 Downloads (Pure)