JTLV

Jtlv: A Framework for Developing Verification Algorithms. Jtlv is a computer-aided verification scripting environment offering state-of-the-art Integrated Developer Environment for algorithmic verification applications. Jtlv may be viewed as a new, and much enhanced Tlv [18], with Java rather than Tlv-basic as the scripting language. JTLV attaches its internal parsers as an Eclipse editor, and facilitates a rich, common, and abstract verification developer environment that is implemented as an Eclipse plugin.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Firman, Elizabeth; Maoz, Shahar; Ringert, Jan Oliver: Performance heuristics for GR(1) synthesis and related algorithms (2020)
  2. De Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian: Agent planning programs (2016)
  3. Lv, Guanfeng; Su, Kaile; Xu, Yanyan: Cacbdd: a BDD package with dynamic cache management (2013) ioport
  4. Balaban, Ittai; Pnueli, Amir; Sa’ar, Yaniv; Zuck, Lenore D.: Verification of multi-linked heaps (2012)
  5. Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv: Synthesis of Reactive(1) designs (2012)
  6. Harel, David; Segall, Itai: Synthesis from scenario-based specifications (2012)
  7. Klein, Uri; Piterman, Nir; Pnueli, Amir: Effective synthesis of asynchronous systems from GR(1) specifications (2012)
  8. Pnueli, Amir; Sa’ar, Yaniv; Zuck, Lenore D.: \textscJtlv: a framework for developing verification algorithms (2010) ioport