The Math Forum

Search All of the Math Forum:

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

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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"

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:

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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.