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

From LRDE

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


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
}