@article{TUW-261899, author = {Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina and Gogolla, Martin and Kappel, Gerti}, title = {A Feature-Based Classification of Formal Verification Techniques for Software Models}, journal = {Software and Systems Modeling}, year = {2019}, volume = {18}, number = {1}, pages = {473--498}, url = {ttps://doi.org/10.1007/s10270-017-0591-z}, doi = {10.1007/s10270-017-0591-z} }