Login
Talks & Seminars
Checking consistency of SDL+MSC specifications
Madhavan Mukund, Chennai Mathematical Institute
Date & Time: January 10, 2009 11:30
Venue: CSE IMPACT Lab (Ground floor)
Abstract:
We consider the problem of checking whether a distributed system described in SDL is consistent with a set of MSCs that constrain the interaction between the processes. In general, the MSC constraints are of two kinds, positive and negative. We would like the SDL specification to execute all the positive scenarios ``sensibly''. On the other hand, the negative MSCs rule out some interactions as illegal. We would then like to verify that all the remaining legal interactions satisfy a desired global property, specified in linear-time temporal logic. We outline an approach to solve this problem using Spin, building in a modular way on existing tools. (Joint work with Deepak D'Souza, Chennai Mathematical Institute) For queries about the talk, please contact ramesh@cse.iitb.ac.in
Speaker Profile:
Madhavan Mukund is Associate Professor at the Chennai Mathematical Institute. His research interests include partial order based models for concurrent systems, logics for specifying and verifying concurrent systems, and distributed algorithms
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback