hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
VerifyThis – Verification Competition with a Human Factor
University of Melbourne, Melbourne, Australia.ORCID iD: 0000-0002-3289-5764
University of Twente, Enschede, The Netherlands.ORCID iD: 0000-0003-4467-072X
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (MBT)
Karlsruhe Institute of Technology, Karlsruhe, Germany.
2019 (English)In: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349, Vol. 11429, p. 176-195Article in journal (Refereed) Published
Abstract [en]

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).

Place, publisher, year, edition, pages
Heidelberg: Springer, 2019. Vol. 11429, p. 176-195
Keywords [en]
Verify This, Program verification, Specification languages, Tool development, Competition
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hh:diva-41109DOI: 10.1007/978-3-030-17502-3_12Scopus ID: 2-s2.0-85064931936ISBN: 978-3-030-17501-6 (print)ISBN: 978-3-030-17502-3 (electronic)OAI: oai:DiVA.org:hh-41109DiVA, id: diva2:1375215
Conference
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Prague, Czech Republic, April 6–11, 2019
Available from: 2019-12-04 Created: 2019-12-04 Last updated: 2019-12-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Mostowski, Wojciech

Search in DiVA

By author/editor
Ernst, GidonHuisman, MariekeMostowski, Wojciech
By organisation
Centre for Research on Embedded Systems (CERES)
In the same journal
Lecture Notes in Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf