Diary Entry: 2009-03-02 00:00:00 - 2009-03-02 00:00:00

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2375 of /compsci/partition2/csmarkus/public_html/ProcessesAndData/includes/menu.inc).

Temesghen gave a departmental seminar talk in the following institutes: Stevens Institute of Technology, hosted by David Naumann, and New York University, hosted by Clark Barrett. In this talks, Temesghen gave an overview of specification, verification and testing of EP2.