In this webinar we will discuss the practical application of formal verification technologies in MATLAB® and Simulink®. MathWorks engineers will introduce the topic of formal verification and answer your questions.
Formal verification methods have been in use in software engineering since the 1970s. Their use, however, is often limited to specialized environments and research projects. In hardware design, such tools have already entered industry mainstream; new tools and integration with simulation and other existing technologies promise to make a mark in embedded software design and verification.