Downloads for the Buechi Automata from PSL Formulae Synthesis Tool

On this website we provide two (independent) packages for our Buechi Automata Tool. This tool contains two components which can be used and integrated according to the licenses to third party software independently. The binary package contains pre-compiled versions of the two components for 32 bit 2.6 kernel series Linux machines. Please refer to the deliverable for more details. The library package contains the sources which can be used to integrate the provided functionality to private sources. For details about the license please refer to the documentation provided in Deliverable 3.2.10 available at pdf .

• Binary Package: This version contains binaries for a 32 bit linux platform.

• Library Package: This version contains the source code.

Documentation on the packages can be found in the pdf document for the deliverable, as well as in the README files contained in the packages.

-- IngoPill - 29 Aug 2006