About this document ... Up: Model Checking Benchmarking Scripts Previous: Pattern Formulas


N. Daniele, F. Guinchiglia, and M.Y. Vardi.
Improved automata generation for linear temporal logic.
In CAV, Proc. 11th Int'l Conf, volume 1633 of LNCS, pages 249-260. Springer, 1999.

K. Etessami and G.J. Holzmann.
Optimizing Büchi automata.
In CONCUR, Proc. 11th Int'l Conf., Lecture Notes in CS 1877, pages 153-167. Springer, 2000.

J. Geldenhuys and H. Hansen.
Larger automata and less work for LTL model checking.
In Model Checking Software, 13th Int'l SPIN Workshop, volume 3925 of LNCS, pages 53-70. Springer, 2006.

K.Y. Rozier and M.Y. Vardi.
LTL satisfiability checking.
In 14th Workshop on Model Checking Software (SPIN '07), volume 4595 of Lecture Notes in Computer Science (LNCS), pages 149-167. Springer-Verlag, 2007.

F. Somenzi and R. Bloem.
Efficient Büchi automata from LTL formulae.
In CAV, Proc. 12th Int'l Conf, volume 1855 of LNCS, pages 248-263. Springer, 2000.

Kristin Yvonne Rozier 2007-05-10