@techreport{TUW-228585, author = {Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina}, title = {A Feature-Based Classification of Formal Verification Techniques for Software Models}, institution = {E194 - Institut f{\"u}r Information Systems Engineering; Technische Universit{\"a}t Wien}, year = {2014}, number = {BIG-TR-2014-1}, url = {http://publik.tuwien.ac.at/files/PubDat_228585.pdf}, keywords = {Feature-based classification, formal verification techniques, model-based engineering, model checking, theorem proving} }