Click on the title to view the text: Schreiner, Wolfgang and Reichl, Franz-XaverMathematical Model Checking Based on Semantics and SMT