Reactive Systems logo
September 19, 2020

Reactive Systems Chairman to Deliver Keynote at Automotive Seminar

Cary, NC (April 30, 2015) -- Reactive Systems Chairman Rance Cleaveland will deliver a keynote address titled Prove What You Can, Test What You Cannot at the Automotive Solutions Seminar to be held in Taipei, Taiwan on May 27. Conference organizer Cybernet Systems Taiwan expects participants from Tier 1 automotive suppliers, government research institutions, and academia.

Talk 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.

Speaker Biography:

Rance Cleaveland is Chairman of the Board and Co-Founder of US-based Reactive Systems, Inc., a company that produces testing and V&V tools for Simulink and C. He is also Professor of Computer Science at the University of Maryland at College Park. He has published over 130 papers in the areas of software verification and validation, formal methods, model checking, software specification formalisms, verification tools, software testing, and software architecture. Cleaveland received B.S. degrees (summa cum laude) in Mathematics and Computer Science from Duke University and M.S. and Ph.D. degrees from Cornell University.