Logo des Repositoriums
 

Visualization Support for Contracts in VeriFast

Kurzanzeige
dc.contributor.authorHergersberg, Pauline
dc.contributor.authorLippold, Judith
dc.contributor.authorNahrstedt, Bastian
dc.contributor.authorBaar, Thomas
dc.contributor.editorKlein, Maike
dc.contributor.editorKrupka, Daniel
dc.contributor.editorWinter, Cornelia
dc.contributor.editorWohlgemuth, Volker
dc.date.accessioned2023-11-29T14:50:27Z
dc.date.available2023-11-29T14:50:27Z
dc.date.issued2023
dc.description.abstractA widespread quality assurance technique for ensuring correctness of software is testing, but relevant test cases might be easily overlooked. Formal methods - an alternative to testing - are applied in software industry only rarely, due to the lack of both widely used verification tools and engineers able to apply such tools effectively. In order to address these problems, our university offers appropriate courses, in which the open-source tool VeriFast is applied to formally verify given contracts for functions implemented in C. While VeriFast is very fast in verifying even larger programs, students often have difficulties when authoring function contracts and other proof arguments formally. To address this problem, we developed a web-based system for visualizing each contract as a graph. In this paper, we describe the architecture and the main features of our system and show on a running example, how our system can support the user of VeriFast.en
dc.identifier.doi10.18420/inf2023_24
dc.identifier.isbn978-3-88579-731-9
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/43142
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2023 - Designing Futures: Zukünfte gestalten
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-337
dc.subjectDeductive Verification; Visualization; TripleGraphGrammar (TGG)
dc.titleVisualization Support for Contracts in VeriFasten
dc.typeText/Conference Paper
gi.citation.endPage275
gi.citation.publisherPlaceBonn
gi.citation.startPage265
gi.conference.date26.-29. September 2023
gi.conference.locationBerlin
gi.conference.sessiontitleBildung - Interdisziplinäres Forschen und Lernen in der Ingenieurinformatik

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
02_03_08_Hengersberg.pdf
Größe:
1.11 MB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P337 - INFORMATIK 2023 - Designing Futures: Zukünfte gestalten