BRICS · Programme

Linear Time Temporal Logic, Buchi Automata, Decision Procedures, and Model Checking Algorithms

A BRICS Mini-Course
October 11 and 13, 1994

Lectures by
P.S. Thiagarajan
SPIC Science Foundation, Madras


Tuesday October 11, 1994, 15:15-16:00 in Auditorium D4

  • Introduction to Linear Time Temporal Logic and Buchi Automata.
  • Decision Procedure.
  • Model Checking Algorithm.

Thursday October 13, 1994, 10:15-12:00 in Auditorium D4

  • Introduction to Mazurkiewicz Trace Theory.
  • Buchi Asynchronous Automata and omega-regular Languages.