Title: Formal methods for timed, concurrent and probabilistic systems

Description: Speaker: Prof. S. Akshay

Time: Wednesday, 11 October 2017, 3:30pm
Venue: Conference room, 1st Floor, CSE KR Bldg.

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/

Computer Science and Engineering Dept., IIT Bombay

Prof. Uday Khedker

Date: Wednesday, 11 October, 2017
Time: 3:30pm IST
Access: Public
Category: Talk*
Created by: Department Calendar
Updated: Thursday, 30 November, 2017 10:57am IST
Send Reminder: Yes  -  119 hours 53 minutes before start
Participants: Department Calendar
<office@cse.iitb.ac.in> (External User)
<seminar@iitb.ac.in> (External User)
_NUC_department <all@cse.iitb.ac.in> (External User)