RobertK. Brayton, GaryD. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, RajeevK. Ranjan, Shaker Sarwary, ThomasR. Staple, Gitanjali Swamy & Tiziano Villa (1996):
VIS: A system for verification and synthesis.
In: CAV,
LNCS 1102,
pp. 428–432,
doi:10.1007/3-540-61474-5_95.
Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani & Armando Tacchella (2002):
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
In: CAV,
LNCS 2404,
pp. 359–364,
doi:10.1007/3-540-45657-0_29.
D.A. Huffman (1952):
A Method for the Construction of Minimum-Redundancy Codes.
Proceedings of the IRE 40(9),
pp. 1098–1101,
doi:10.1109/JRPROC.1952.273898.
Swen Jacobs (2014):
Extended AIGER Format for Synthesis (v0.1).
ArXiv:1405.5793.
Nir Piterman, Amir Pnueli & Yaniv Sa’ar (2006):
Synthesis of reactive (1) designs.
In: Verification, Model Checking, and Abstract Interpretation.
Springer,
pp. 364–380,
doi:10.1007/11609773_24.
Jan Oliver Ringert (2015):
Extensible Support for Specification Patterns in GR(1) Synthesis (Work in Progress).
Young Researchers' Conference ``Frontiers of Formal Methods''.
Available at http://ffm2015.rwth-aachen.de/proceedings.php.
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu & Wen-Chin Chan (2007):
GOAL: A graphical tool for manipulating Büchi automata and temporal formulae.
In: TACAS.
Springer,
pp. 466–471,
doi:10.1007/978-3-540-71209-1_35.
M. Y. Vardi (2011):
The rise and fall of linear time logic.
2nd Int’l Symp. on Games, Automata, Logics and Formal Verification.
Invited talk.