Paul Gastin

Professor, ENS Paris-Saclay

• Selected Publications. See also DBLP


• Slides of some recent talks

GPG public key

Teaching

• Algorithmic


• Formal Languages


• Basics of Verification


• Non-Sequential Theory of Distributed Systems

Outils / Tools

• LTL2BA 1.3 : fast translation from LTL formulae to Büchi automata.
  Version of 2020/06/10
• gastex 3.1 : Graphs and Automata Simplified in TeX.
  Version of 2024/02/12
• Nestify 1.0 : nested words for higher order pushdown automata.
• JasTeX 1.1: graphical user interface in Java for GasTeX (outdated).
• hevea 1.07 pour mac OS X

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact