log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Prove If You Can, Test If You Cannot
Monday, March 9, 2015, 1:30-2:30 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Current formal methods focus on mathematical proof as a means for establishing that a system is correct with respect to a formal specification.  This perspective can limit the applicability of formal methods, since the development of such proofs remains a very difficult task requiring specialized expertise, even with computer assistance.  This presentation argues that formal-specification approaches that support both proof and testing as V&V technologies can enhance the practical usefulness of formal methods.  It then describes an approach, called instrumentation-based verification,  that is intended to realize this vision.

Bio

http://www.cs.umd.edu/~rance/bio.html

This talk is organized by Aseem Rastogi