VerifyThis – Verification Competition with a Human Factor
VerifyThis is a series of competitions that aims to evaluatethe current state of deductive tools to prove functional correctness of programs. Such proofs typically require human creativity, and hence iti s not possible to measure the performance of tools independently of the skills of its user. Simi...
Uloženo v:
| Vydáno v: | Lecture Notes in Computer Science Ročník 11429; s. 176 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Kapitola Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Switzerland
Springer International Publishing AG
2019
|
| Témata: | |
| ISBN: | 3030175014, 9783030175016, 3030175022, 9783030175023 |
| ISSN: | 1611-3349, 0302-9743 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | VerifyThis is a series of competitions that aims to evaluatethe current state of deductive tools to prove functional correctness of programs. Such proofs typically require human creativity, and hence iti s not possible to measure the performance of tools independently of the skills of its user. Similarly, solutions can be judged by humans only. Inthis paper, we discuss the role of the human in the competition setup and explore possible future changes to the current format. Regarding the impact of VerifyThis on deductive verification research, a survey conducted among the previous participants shows that the event is a key enabler for gaining insight into other approaches, and that it fosters collaboration and exchange. © 2019, The Author(s). |
|---|---|
| ISBN: | 3030175014 9783030175016 3030175022 9783030175023 |
| ISSN: | 1611-3349 0302-9743 |
| DOI: | 10.1007/978-3-030-17502-3_12 |