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
Professor
Computer Science and Institute for Systems Research

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. 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 2017
SU M TU W TH F SA
1 2 w
3 4 5 6 7 8 9 w
10 11 12 13 14 15 16 w
17 18 19 20 21 22 23 w
24 25 26 27 28 29 30 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