Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Runtime Verification of Generalized Test Tables

Reviewed Paper In Proceedings

Author(s):Alexander Weigl, Mattias Ulbrich, Shmuel Tyszberowicz, and Jonas Klamroth
In:13th NASA Formal Methods Symposium (NFM 2021)
Publisher:Springer
Series:Lecture Notes in Computer Science
Year:2021

Note

accepted

BibTeX

@Inproceedings{Weigl2021,
    editor    = {Aaron Dutle and Mariano Moscato and Laura Titolo},
    booktitle = {13th {NASA} Formal Methods Symposium ({NFM} 2021)},
    series    = {Lecture Notes in Computer Science},
    publisher = {Springer},
    year      = {2021},
    note      = {accepted},
    title     = {Runtime Verification of Generalized Test Tables},
    author    = {Alexander Weigl and Mattias Ulbrich and Shmuel Tyszberowicz and Jonas Klamroth},
    year      = {2021},
    month     = may
}