Title: WBTS: The New Class of WSTS Without WQO

Description: Speaker: Prof. Alain Finkel

Time: Monday, 05 March 2018, 11:30am
Venue: Room # SIC 201, C Block, 02nd Floor, Department of Computer Science and Engineering, Kanwal Rekhi Building

Abstract:
We present the framework based on ideals which was recently used to obtain new deep results on Petri nets and their extensions. We will present the ideas of the proof of the powerful but little-known Erdös-Tarski theorem. We argue that the theory of ideals prompts a renewal of the theory of Well Structured Transitions Systems (WSTS) by providing a way to define a new class of monotonic systems, the so-called Well Behaved Transition Systems (WBTS), which properly contains WSTS, and for which coverability is still decidable by a forward coverability algorithm.

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/.

Organization:
Ecole Normale Superieure Paris-Saclay



Host:
Prof. Akshay S.

Date: Monday, 5 March, 2018
Time: 11:30am IST
Access: Public
Category: Talk*
Created by: Department Calendar
Updated: Saturday, 12 September, 2020 8:12am IST
Send Reminder: Yes  -  47 hours 8 minutes before start
Participants: Department Calendar
<office@cse.iitb.ac.in> (External User)
_NUC_department <all@cse.iitb.ac.in> (External User)