School of Technology and Computer Science Seminars
Split-width and the Verification of Concurrent Recursive Programs
by Dr. K. Narayan Kumar (Chennai Mathematical Institute, Chennai)
Wednesday, July 17, 2013
from
to
(Asia/Kolkata)
at Colaba Campus ( A-212 (STCS Seminar Room) )
at Colaba Campus ( A-212 (STCS Seminar Room) )
Description |
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). |