Building LTL Model Checkers using Transition-based Generalized Büchi Automata

Authors

Alexandre Duret-Lutz

Work group

Invited talk to SUMo'11

Type

misc

Date

2011-06-01

Bibtex (lrde.bib)

@Misc{		  duret.11.sumo,
  author	= {Alexandre Duret-Lutz},
  title		= {Building {LTL} Model Checkers using {T}ransition-based
		  {G}eneralized {B\"u}chi {A}utomata},
  howpublished	= {Invited talk to SUMo'11},
  month		= jun,
  year		= 2011
}