Modular Regression Verification for Reactive Systems

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Alexander Weigl, Mattias Ulbrich und Daniel Lentzsch
In:9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:12477
Teil:II: Engineering Principles
Jahr:2020
Seiten: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,
    eventdate = {2020-10-20/2020-10-30},
    venue     = {Rhodes, Greece}
}