Recorded Webinar: PolySpace™ for Code Verification in Hand-Written and Automatically Generated Code

MathWorks Account users: Please log in and we'll fill in this form for you!
E-mail Address	Password
Benefits   Create account   Problems logging in?

Contact Information

Salutation -- select one -- 1Lt 2Lt ADM Arch. Assoc. Prof. BrigGen Capt CDR Col Corpl CPT Dam De heer Dean Dipl. Dipl. Ing. Dipl. Phys. Doc. Ing. Dott. Dott.ssa Dr. Dr. Ing. Dr. Ir. Dr. Prof. Dr.ssa Dra. Drs. Drs. Ing. Drs. Ir. ENS Fr. Frau Frau Dipl.-Ing. Frau Dr. Frau Ing. Frau Mag. Frau Prof. Frau Prof. Dr. Fru Gen Geom. Heer Heer/mevrouw Herr Herr Dipl.-Ing. Herr Dr. Herr Ing. Herr Mag. Herr Prof. Herr Prof. Dr. Ing. Ir. Lord Lt LTC LtCDR LtGen LtJG M. M. Dr. M. Prof. Madam Maestro Maj Mevrouw Mevrouw dr. Mevrouw dr. ir. Mevrouw drs. Mevrouw ing. Mevrouw ir. Mevrouw Prof. MGen Miss Mlle Mme Mme Dr. Mme Prof. Mr. Mr. Dr. Ing. Mr. Prof. Mr. Prof. Dr. Mr./Ms. Mrs. Mrs. Dr. Mrs. Prof. Mrs. Prof. Dr. Ms. Per Per Ing. Prof. Prof. Dr. Prof. Dr. Ing. Prof. Dr. Ir. Prof. Ing. Prof. Ir. Prof. Mr. Prof.ssa RADM Rag. Sgt Sig. Sig.ra Sir Spett.le Sr. Sr./Sra. Sra. Sra./Srta. Srta. Staf Sgt Ten. Ten. Col. *First Name Middle Name *Last Name Job Title Department Mail Stop *Company/University *Street Address 1 Street Address 2 *City State/Province (US & CA only) -- select one -- Alabama Alaska Alberta APO/FPO AA APO/FPO AE APO/FPO AP Arizona Arkansas British Columbia California Caroline Islands Colorado Connecticut Delaware District of Columbia Florida Georgia Guam Hawaii Idaho Illinois Indiana Iowa Kansas Kentucky Louisiana Maine Manitoba Marina Islands Marshall Islands Maryland Massachusetts Michigan Minnesota Mississippi Missouri Montana Nebraska Nevada New Brunswick New Hampshire New Jersey New Mexico New York Newfoundland and Labrador North Carolina North Dakota Northwest Territory Nova Scotia Nunavut Ohio Oklahoma Ontario Oregon Pago Pago Pennsylvania Prince Edward Island Puerto Rico Quebec Rhode Island Saskatchewan South Carolina South Dakota Tennessee Texas Utah Vermont Virgin Islands Virginia Washington West Virginia Wisconsin Wyoming Yukon Territory *Zip/Postal Code County/Province *Country/Region -- select one -- Albania Algeria American Samoa Andorra Angola Anguilla Antarctica Antigua And Barbuda Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia & Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia Comoros Congo Congo (The Democratic Republic Of The) Cook Islands Costa Rica Cote D'Ivoire Croatia Cyprus Czech Republic Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Ethiopia Falkland Islands Faroe Islands Fiji Finland France France Metropolitan French Guiana French Polynesia French Southern Territories Gabon Gambia Georgia Germany Ghana Gibraltar Greece Greenland Grenada Guadeloupe Guam Guatemala Guinea Guinea-Bissau Guyana Haiti Heard And Mc Donald Islands Honduras Hong Kong Hungary Iceland India Indonesia Iraq Ireland Israel Italy Jamaica Japan Jordan Kazakhstan Kenya Kiribati Korea (Republic Of) Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macau Macedonia (The F.Y.R. Of) Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia Moldova Monaco Mongolia Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles New Caledonia New Zealand Nicaragua Niger Nigeria Niue Norfolk Island Northern Mariana Islands Norway Oman Pakistan Palau Panama Papua New Guinea Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Reunion Romania Russian Federation Rwanda S Georgia & S Sandwich Islands Saint Kitts And Nevis Saint Lucia Saint Vincent & The Grenadines Samoa San Marino Sao Tome And Principe Saudi Arabia Senegal Serbia And Montenegro Seychelles Sierra Leone Singapore Slovakia Slovenia Solomon Islands Somalia South Africa Spain Sri Lanka St. Helena St. Pierre And Miquelon Suriname Svalbard And Jan Mayen Islands Swaziland Sweden Switzerland Taiwan Tajikistan Tanzania Thailand Togo Tokelau Tonga Trinidad And Tobago Tunisia Turkey Turkmenistan Turks And Caicos Islands Tuvalu Uganda Ukraine United Arab Emirates United Kingdom United States United States Outlying Islands Uruguay Uzbekistan Vanuatu Vatican City State Venezuela Vietnam Virgin Islands (British) Virgin Islands (U.S.) Wallis And Futuna Islands Western Sahara Yemen Zambia Zimbabwe *E-mail (Format must be valid, e.g., name@yourdomain.com) Telephone *Main Number Extension If you are outside the U.S. and Canada, include "+country code" before your phone number. (Example: +31-70-555-5555) Fax Main Number

Other Information

Are you a MATLAB user? Yes No Are you a Simulink user? Yes No Which best describes your application? -- select one -- Computational Biology Control Design Financial Modeling and Analysis Image Processing Signal Processing and Communications Technical Computing Test & Measurement Which best describes your industry? -- select one -- Aerospace and Defense Automotive Biotech & Pharmaceutical Chemical and Petroleum Communications Computers and Office Equipment Consumer Goods Earth and Ocean Sciences Electronics Financial Services Food and Beverage Industrial Automation and Machinery Instrumentation Medical Metals Materials and Mining Other/Miscellaneous Pulp and Paper Rail Ships and other Transportation Semiconductor Technical Services and Consulting Utilities and Energy Are you seeking further information on MathWorks products? Yes No Are you seeking further information on pricing? Yes No We will not sell or rent your personal contact information. See our privacy policy for details.

 

This webinar presents an overview of code verification and features challenges for projects where software quality is imperative. Viewers will learn how code correctness impacts projects and the consequences of run-time errors missed during project development.

Webinar highlights include:
• How to prove that a given line of code is always correct – for example: x = x / (x-y)
• The difference between finding some errors and proving the absence of errors
• Comparisons between checking coding rules, testing, and code verification

This webinar is primarily intended for software designers, developers, project managers, and quality engineers who are either developing software in C/C++ or Ada or outsourcing their development, to help increase their confidence in proving code correctness.

Product Focus

• PolySpace Client for C/C++
• PolySpace Server for C/C++
• PolySpace Model Link SL
• PolySpace Client for Ada
• PolySpace Server for Ada

This webinar was recorded on 08 Apr 2008

Duration: 48 Minutes