Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Software » comp.soft-sys.matlab

Topic: Formal Verification Made Easy with MATLAB and Simulink- online Dec. 6
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Marc Ricci

Posts: 30
Registered: 3/8/10
Formal Verification Made Easy with MATLAB and Simulink- online Dec. 6
Posted: Nov 15, 2011 2:04 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.