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