a High LEvel Net Analyzer

Helena is an explicit state model checker. It is a free software available under the terms of the GNU general public license.
Helena works on a Linux platform. It is a command line oriented tool without graphical interface.

Features Download links
Helena relies on several other tools/compilers. Among those: Contact
Please send me an email if you have any question or wish to submit a bug report. You'll find my personal information here.