Tool Integration

Joe Kiniry has been nominated as the Chair of Working Group #4: Tool Integration of the COST Program Action IC0701 "Formal Verification of Object-Oriented Software." He also sits on the Management Committee as he formally represents Ireland within the Action. There are four working groups in the Action; see the Action website for more information.

The first Management Committee and Working Group meeting for the Action took place at Chalmers University in Gothenburg, Sweden during the the last week of May 2008. Joe chaired the last working group session and gave the following talk entitled Tool Integration to kick off the meeting and discussion.