Stupid Tool Tricks for Smart Model Based Design

Formal methods tools can be used to detect and prevent errors so researchers assume that industry will use them. We are often frustrated when we see industrial projects where tools could have been used to detect or prevent errors in the final product. Researchers often fail to realize that there is a significant gap between aa potentially useful tool and its use in a standards compliant, commercially viable, development process. In this talk I …