A Feature-Based Classification of Formal Verification Techniques for Software Models

Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gertrude Kappel

Research output: Contribution to journal › Article › peer-review

Original language	English
Number of pages	26
Journal	Software and Systems Modeling
Volume	18
DOIs	https://doi.org/10.1007/s10270-017-0591-z
Publication status	Published - Jan 2019

Fields of science

@article{4bc16dbaf41e4ccc852688906ce7bdfe,

title = "A Feature-Based Classification of Formal Verification Techniques for Software Models",

author = "Sebastian Gabmeyer and Petra Kaufmann and Martina Seidl and Martin Gogolla and Gertrude Kappel",

year = "2019",

month = jan,

doi = "10.1007/s10270-017-0591-z",

language = "English",

volume = "18",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer-Verlag",

}

TY - JOUR

T1 - A Feature-Based Classification of Formal Verification Techniques for Software Models

AU - Gabmeyer, Sebastian

AU - Kaufmann, Petra

AU - Seidl, Martina

AU - Gogolla, Martin

AU - Kappel, Gertrude

PY - 2019/1

Y1 - 2019/1

U2 - 10.1007/s10270-017-0591-z

DO - 10.1007/s10270-017-0591-z

M3 - Article

SN - 1619-1366

VL - 18

JO - Software and Systems Modeling

JF - Software and Systems Modeling

ER -