ICE-TCS Lectures Series - Rance Cleveland - Validating Automotive Control Software using Instrumentation-Based Verification

On Friday May 15th Rance Cleveland ( (Department of Computer Science, University of Maryland College Park, USA) delivers an ICE-TCS seminar. The talk, which is entitled Validating Automotive Control Software using Instrumentation-Based Verification, will be held at 11:00 in room K5 at Reykjavik University (Kringlan 1). (Note the nonstandard time!).

The abstract for the talk as well as a speaker's biographical sketch are available here.