addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

February Meetup - Model Checking and Code Analysis

  • Feb 18, 2014 · 7:00 PM

At our next monthly meeting we will have a very interesting talk by Adam Streck about Model Checking and Code Analysis:

On July 1996 the rocket Ariane 5 exploded 40 seconds after start due to an overflow in assigning a 64-bit floating point number to a 16-bit integer causing a loss over billion dollars. This and multiple other errors in "safety-critical" systems drive development of tools that can guarantee safety of a program beyond capabilities of classical testing. Probably the most famous member of the family, model checking, is a formal-logic based method for verification of, but not limited to, computer software. The talk will give in a peek into theory behind this method and discuss some of the model-checking tools for C++ developers available today.

Join or login to comment.

28 went

Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy