Talks & Seminars
Title: WBTS: The New Class of WSTS Without WQO
Prof. Alain Finkel, Ecole Normale Superieure Paris-Saclay
Date & Time: March 5, 2018 11:30
Venue: Room # SIC 201, C Block, 02nd Floor, Department of Computer Science and Engineering, Kanwal Rekhi Building
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/.
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback