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

Modular Regression Verification for Reactive Systems

Reviewed Paper In Proceedings

Author(s):Alexander Weigl, Mattias Ulbrich, and Daniel Lentzsch
In:9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:12477
Part:II: Engineering Principles
Year:2020
Pages:25-43
DOI:10.1007/978-3-030-61470-6_3

BibTeX

@Inproceedings{Weigl2021a,
    booktitle = {9th International Symposium on
                 Leveraging Applications of Formal Methods,
                 Verification and Validation ({ISoLA} 2020)},
    series    = {Lecture Notes in Computer Science},
    publisher = {Springer},
    title     = {Modular Regression Verification for Reactive Systems},
    author    = {Alexander Weigl and Mattias Ulbrich and Daniel Lentzsch},
    year      = {2020},
    series    = {Lecture Notes in Computer Science},
    volume    = {12477},
    part      = {II: Engineering Principles},
    editor    = {Tiziana Margaria and Bernhard Steffen},
    doi       = {10.1007/978-3-030-61470-6_3},
    pages     = {25--43},
    month     = oct,
    date      = {October 20--30},
    place     = {Rhodes, Greece}
}