Publications

If you have anything that you published using JTLV, please let us know.

Amir Pnueli, and Yaniv Sa'ar, and Lenore D. Zuck.
JTLV : A Framework for Developing Verification Algorithms.
2010 22nd International Conference on Computer Aided Verification. Edinburgh, UK, July 15-19, 2010.

Ariel Cohen, Kedar S. Namjoshi, and Yaniv Sa'ar.
A Dash of Fairness for Compositional Reasoning.
2010 22nd International Conference on Computer Aided Verification. Edinburgh, UK, July 15-19, 2010.

Ariel Cohen, Kedar S. Namjoshi, and Yaniv Sa'ar.
SPLIT: A Compositional LTL Verifier. -- Homepage.
2010 22nd International Conference on Computer Aided Verification. Edinburgh, UK, July 15-19, 2010.

N. Priterman, A. Pnueli, and Y. Sa'ar.
Synthesis of Reactive(1) Designs.
2006. In Proc. 7th International Conference on Verification, Model Checking and Abstract Interpretation,volume 3855 of LNCS, pages 364-380. © Springer-Verlag.

** Initially implemented with TLV, but our main stream is now implemented with JTLV, and available in the library.

N. Piterman and A. Pnueli.
Faster Solutions of Rabin and Streett Games.
2006. In Proc. 21st Symposium on Logic in Computer Science, pages 275--284. © IEEE press.

** Initially submitted without an implementation.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray.
Automatic Synthesis of Robust Embedded Control Software.
2010 AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems, 2010.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray.
Receding Horizon Control for Temporal Logic Specifications.
2010 AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems, 2010.

Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, and Vijay Kumar.
Recycling Controllers .
2008 IEEE Conference on Automation Science and Engineering, Washington DC, August 2008.