Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Formal Verification Made Easy with MATLAB and Simulink- online Dec. 6
Posted:
Nov 15, 2011 2:04 PM
|
|
Join a lively MathWorks online discussion on December 6th:
"Formal Verification Made Easy with MATLAB and Simulink"
http://www.mathworks.com/company/events/webinars/wbnr60782.html
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.
To learn more, or to register, click here:
http://www.mathworks.com/company/events/webinars/wbnr60782.html
|
|
|
|
