Title: Decidability Results for WSTS, WBTS and Very-WSTS

Description: Speaker: Prof. Alain Finkel

Time: Friday, 09 March 2018, 5:30pm
Venue: Room # 101, 01st Floor, Department of Computer Science and Engineering, New CSE/CC Building

Using the mathematical properties of wqo and fac orderings, we will present decidability of termination, boundedness, coverability, coverability set, LTL.

Speaker Profile:
Alain Finkel is a professor at the Ecole Normale Superieure Paris-Saclay, and a member of the Laboratory for Specification and Verification (LSV) at ENS Paris-Saclay. He is well-known for his work on verification of infinite-state systems. He is a recipient of the CAV award in 2017 for his work on Well Structured Transition Systems.

He is currently a visiting faculty in the Dept. of CSE at IIT Bombay. More details about him are available at http://www.lsv.fr/~finkel/.

Ecole Normale Superieure Paris-Saclay

Prof. Akshay S.

Date: Friday, 9 March, 2018
Time: 5:30pm IST
Access: Public
Category: Talk*
Created by: Department Calendar
Updated: Friday, 18 December, 2020 2:16am IST
Send Reminder: Yes  -  71 hours 4 minutes before start
Participants: Department Calendar
<office@cse.iitb.ac.in> (External User)
_NUC_department <all@cse.iitb.ac.in> (External User)