MathWorks - Mobile View
  • Accedere al proprio MathWorks AccountAccedere al proprio MathWorks Account
  • Access your MathWorks Account
    • Il Mio Account
    • Il mio Profilo utente
    • Associa Licenza
    • Disconnettiti
  • Prodotti
  • Soluzioni
  • Università
  • Assistenza
  • Community
  • Eventi
  • Acquista MATLAB
MathWorks
  • Prodotti
  • Soluzioni
  • Università
  • Assistenza
  • Community
  • Eventi
  • Acquista MATLAB
  • Accedere al proprio MathWorks AccountAccedere al proprio MathWorks Account
  • Access your MathWorks Account
    • Il Mio Account
    • Il mio Profilo utente
    • Associa Licenza
    • Disconnettiti

Video e Webinar

  • MathWorks
  • Video
  • Home Video
  • Cerca
  • Home Video
  • Cerca
  • Contattaci
  • Software di prova
  Register to watch video
  • Description
  • Related Resources

Formal Verification Made Easy with MATLAB and Simulink

Jay Abraham, MathWorks
Nishaat Vasi, MathWorks
Goran Begic, MathWorks

In this webinar we have a moderated discussion about the practical application of formal verification technologies in MATLAB® and Simulink®. MathWorks engineers 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.

Applications of formal verification in embedded software today include:

  • Verification of designs against functional requirements
  • Design error detection
  • Test generation
  • Model coverage analysis
  • Run-time error detection
  • Proving the absence of run-time errors

Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Simulink Requirements in R2017b.

About the Presenters:
Jay Abraham
is a product marketing manager at MathWorks. His area of expertise is in software tools for the verification of critical embedded applications. He has over 20 years of software and hardware design experience. Jay has an M.S. in computer engineering from Syracuse University and a B.S. in electrical engineering from Boston University.

Goran Begic is a product marketing manager at MathWorks. He has 11+ years of experience working with various code and design verification tools and development processes including agile, Model-Based Design, and Rational Unified Process. Goran holds an engineer’s degree from the University of Zagreb, Croatia.

Nishaat Vasi is a product marketing manager at MathWorks. Since joining MathWorks in 2007, Nishaat has partnered with customers involved in high-integrity applications to promote the adoption of MathWorks tools for software verification and report generation. He holds an M.S. in electrical engineering from the University of Massachusetts and a B.E. in electronics engineering from the University of Mumbai.

Recorded: 6 Dec 2011

Related Products

  • Simulink Design Verifier
  • Simulink Check
  • Polyspace Bug Finder
  • Simulink Coverage
  • Simulink Requirements

Feedback

Featured Product

Simulink Design Verifier

  • Request Trial
  • Get Pricing

Up Next:

19:50
Requirements Modeling and Design Verification of Embedded...

Related Videos:

1:49
What Is Simulink Design Verifier?
11:20
Traceability to Requirements Docs Made Easy
30:08
Verification and Validation of Embedded Software Systems
40:48
New Analog Mixed Signal Development And Verification...

View more related videos

MathWorks - Domain Selector

Select a Web Site

Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .

Select web site

You can also select a web site from the following list:

How to Get Best Site Performance

Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.

Americas

  • América Latina (Español)
  • Canada (English)
  • United States (English)

Europe

  • Belgium (English)
  • Denmark (English)
  • Deutschland (Deutsch)
  • España (Español)
  • Finland (English)
  • France (Français)
  • Ireland (English)
  • Italia (Italiano)
  • Luxembourg (English)
  • Netherlands (English)
  • Norway (English)
  • Österreich (Deutsch)
  • Portugal (English)
  • Sweden (English)
  • Switzerland
    • Deutsch
    • English
    • Français
  • United Kingdom (English)

Asia Pacific

  • Australia (English)
  • India (English)
  • New Zealand (English)
  • 中国
    • 简体中文Chinese
    • English
  • 日本Japanese (日本語)
  • 한국Korean (한국어)

Contact your local office

  • Contattaci
  • Software di prova

Scopri i nostri prodotti

  • MATLAB
  • Simulink
  • Software per studenti​
  • Supporto hardware
  • File Exchange

Prova o Acquista

  • Download
  • Software di prova
  • Contattaci
  • Prezzi e licenze
  • Come acquistare

Impara ad utilizzare i nostri prodotti

  • Documentazione
  • Tutorial
  • Esempi
  • Video e Webinar
  • Formazione

Ricevi supporto tecnico

  • Aiuto all'installazione
  • Risposte​
  • Consulenza
  • License Center
  • Contatta l'assistenza

Informazioni su MathWorks

  • Lavora con noi
  • Sala stampa
  • Missione sociale​
  • Contattaci
  • Informazioni su MathWorks

MathWorks

Accelerating the pace of engineering and science

MathWorks è leader nello sviluppo di software per il calcolo matematico per ingegneri e ricercatori

Scopri…

  • Select a Web Site United States
  • Brevetti
  • Marchi
  • Informativa sulla privacy
  • Antipirateria
  • Stato dell'applicazione

© 1994-2021 The MathWorks, Inc.

  • Facebook
  • Twitter
  • Instagram
  • YouTube
  • LinkedIn
  • RSS

Unisciti alla discussione

This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic.  By continuing to use this website, you consent to our use of cookies.  Please see our Privacy Policy to learn more about cookies and how to change your settings.