Modular Regression Verification for Reactive Systems

@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}
}