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 »

September 2018
1 w
2 3 4 5 6 7 8 w
9 10 11 12 13 14 15 w
16 17 18 19 20 21 22 w
23 24 25 26 27 28 29 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