Please note that this newsitem has been archived, and may contain outdated information or links.
13 October 2006, Colloquium on Mathematical Logic, Prof. dr. Yuri Gurevich
Room P.017, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).
Abstract
What's testing? Well, from some point of view, it is a game. Testing
tasks can be viewed (and organized!) as games against nature. We introduce
and study reachability games. Such games are ubiquitous. A single
industrial test suite may involve many instances of a reachability game;
hence the importance of optimal or near optimal strategies for
reachability games. We find out when exactly optimal strategies exist for
a given reachability game, and how to construct them.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html or contact P. van Emde Boas, peter at science.uva.nl
Please note that this newsitem has been archived, and may contain outdated information or links.