Jeudi 6 Novembre
Heure: 
16:00  17:00 
Lieu: 
Salle B107, bâtiment B, Université de Villetaneuse 
Résumé: 
Introduction to Partial Order Reductions 
Description: 
César Rodríguez In model checking, a well known source of statespace explosion (SSE) is the explicit representation of concurrent actions by their interleavings. Partialorder reductions (PORs) are a family of techniques attempting to cope with this by constructing an equivalent state space where irrelevant executions of the original are discarded.
This talk will be a gentle introduction to the topic. We will focus on Godefroid's persistent sets, prove that a selective exploration based on them visits all deadlocks, discuss the two main classes of algorithms for computing them, and finish, time permitting, with an overview of the conceptual similarities and differences between PORs and the unfolding technique. 

