LETHAL

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

LETHAL is a Java library for working with finite tree and hedge automata. It provides a great variety of operations and property evaluations. Additionally the library comes with a scriptable graphical user interface to get started quickly.

VERSION HISTORY

  • Version files posted on 2009-10-30
    Several fixes and updates
  • Version N/A posted on 2009-10-30

Program Details