Login
Talks & Seminars
Title: Formal methods for timed, concurrent and probabilistic systems
Prof. S. Akshay, Computer Science and Engineering Dept., IIT Bombay
Date & Time: October 11, 2017 15:30
Venue: Conference room, 1st Floor, CSE KR Bldg.
Abstract:
Formal methods are increasingly used for specification, verification and development of modern complex systems. These systems include quantitative information, such as real-time constraints or probabilities modeling imprecision in data and features such as concurrency. In order to provide theoretical guarantees about the behaviors of such systems, a formal and mathematically rigorous treatment is often required, both in their modeling and in the algorithmic techniques for their analysis. In this talk, we will look at some recent progress made on three specific topics under this umbrella: (i) reachability and termination in linear dynamical and stochastic systems; (ii) verification of timed and concurrent systems and (iii) scalable techniques for boolean functional synthesis. After a broad overview, we will focus on one of these topics and give an in-depth flavor of the results and techniques involved. A large part of this work has been done in collaboration with colleagues and students from our department.
Speaker Profile:
More information about the speaker is available at: https://www.cse.iitb.ac.in/~akshayss/
List of Talks

Webmail

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