http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Interpretation-Based Violation Witness Validation for C : NITWIT

Švejda, Jan^RWTH* ; Berger, Philipp^RWTH* ; Katoen, Joost-Pieter^RWTH*

In
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, Seiten/Artikel-Nr: 40-57

2020

Konferenz/Event:26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , online , TACAS 2020 , 2020-04-25 - 2020-04-30

Konferenz/Event:European Joint Conferences on Theory and Practice of Software , ETAPS 2020 , 2020-04-25 - 2020-04-30

ImpressumCham : Springer International Publishing

Umfang40-57

ISBN978-3-030-45189-9, 978-3-030-45190-5, 978-3-030-45191-2

ReiheLecture Notes in Computer Science ; 12078, Theoretical Computer Science and General Issues

Weitere Reihe: Springer eBook Collection

Online
DOI: 10.1007/978-3-030-45190-5_3
10.1007/978-3-030-45190-5_3
DOI: 10.18154/RWTH-2021-02249
URL: https://publications.rwth-aachen.de/record/814598/files/814598.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85083962673

Interne Identnummern
RWTH-2021-02249
Datensatz-ID: 814598

Beteiligte Länder
Germany