Yuri Gurevich (Microsoft Research) visit UniTESK Lab
Saturday, 21 June 2003
Yuri Gurevich (Microsoft Research) has meet with UniTESK Development Team. UniTESK Lab. testing tools have been presented to him and compared with testing tools based on Abstract State Machines (developed by Yuri Gurevich team). The problem of distributed systems specification and testing had the main place on the meeting.
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences