SSE Faculty Talk: Requirements Modeling and the Mars Polar Lander Crash w/ Professor Mark Blackburn




September 27, 2011

Abstract:

Join us to hear Professor Blackburn share and describe his research work on Requirements Modeling and  Test Generation which was used to identify the bug that cause the Mars Polar Lander Crash.  The presentation will include the theory behind his research approach and a demonstration of the tools and model that were used to find the bug.


No RSVP required



© Stevens Institute of Technology. All rights reserved.