Split-width and the Verification of Concurrent Recursive Programs

Speaker: 

K. Narayan Kumar

Affiliation: 

Chennai Mathematical Institute
H1 SIPCOT IT Park
Siruseri
Chennai 600103

Time: 

Wednesday, 17 July 2013, 10:30 to 11:30

Venue: 

Organisers: 

In this talk we describe a simple measure, related to Tree/Clique width, on the structure of the runs of concurrent recursive programs and illustrate its use in the verification of properties expressed in Monadic Second-order Logic. (Joint work with Aiswarya Cyriac and Paul Gastin).