Clark School Home UMD

ISR Events Calendar

Event Information

IAI Colloquia Series: Rance Cleaveland, "Prove if You Can, Test if You Cannot"
Wednesday, September 9, 2015
4:00 p.m.
1146 AV Williams Building
For More Information:

Intelligent Automation, Inc. Colloquia Series

Prove if You Can, Test if You Cannot

Rance Cleaveland
Computer Science and Institute for Systems Research

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. Examples from the automotive domain will be used to illustrate the application of the work.

This Event is For: Graduate • Undergraduate • Faculty • Post-Docs • Alumni • Corporate

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

July 2018
1 2 3 4 5 6 7 w
8 9 10 11 12 13 14 w
15 16 17 18 19 20 21 w
22 23 24 25 26 27 28 w
29 30 31 w

Search Events

ISR lecture and seminar series

Distinguished Lecturer Series
Intelligent Automation Inc. Colloquia Series
Microsystems Seminar Series
Lockheed Martin Robotics Seminar Series
Advanced Networks Colloquia Series
Model-Based Systems Engineering Colloquia Series

Submit an event to the ISR calendar Click here

News links

Current news
Search news
News archives