unbeast-0.6


  • +-------------------------------------------------------------------+ | 0. About this tool | +-------------------------------------------------------------------+ The README file you are reading is part of the distribution of the Unbeast tool for synthesis of finite state systems from specifications written in LTL. Note that this is a prototype tool and is mainly distributed to allow other researchers in this area to compare their implementations against this one. As a prototype tool, bugs are likely to exist.