Centre Fédéré en Vérification
Home Page
Groups
Publications
Information
Seminars
Contact
Login
Home
CFV Publications of
Patrick Cousot
Download this author's CFV publication list:
[BibTeX]
2007
Fixpoint-Guided Abstraction Refinements
Cousot, P
,
Ganty P
,
Raskin J-F
[BibTeX]
Upcoming Seminars
Thursday 16 May 2019
Robust Controller Synthesis in Timed Automata: A Symbolic Approach
Benjamin Monmège
10:00
Forum B, Campus Plaine
PSPACE algorithm for SPEs in quantitative reachability games
Aline Goeminne
11:45
Forum B, Campus Plaine
Recent Work in the Science of Software and Systems
Stavros Tripakis
14:00
Forum B, Campus Plaine