Talks & Seminars
Title: Decidability Results for WSTS, WBTS and Very-WSTS
Prof. Alain Finkel, Ecole Normale Superieure Paris-Saclay
Date & Time: March 9, 2018 17:30
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/.
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback