HELENA - the High LEvel Net Analyzer download

Helena is an explicit state model checker for high-level Petri nets.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow HELENA - the High LEvel Net Analyzer

HELENA - the High LEvel Net Analyzer Web Site

User Reviews

Be the first to post a review of HELENA - the High LEvel Net Analyzer!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Developers, Education, Quality Engineers, Science/Research

Programming Language

Ada

Related Categories

Ada UML Tool, Ada Distributed Computing Software

Registered

2007-01-03

Similar Business Software

Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See Software
TruGrid

TruGrid SecureRDP secures access to Windows desktops and applications from any location. It is a DaaS solution that employs a Zero Trust model without firewall exposure. Key Benefits of TruGrid SecureRDP: - No Firewall Exposure & No VPN Required: Secure remote access without exposing...

See Software
NetNut

Get ready to experience unmatched control and insights with our user-friendly dashboard tailored to your needs. Monitor and adjust your proxies with just a few clicks. Track your usage and performance with detailed statistics. Our team is devoted to providing customers with proxy solutions...

See Software
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. We are SOC 2 Type 2 certified. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
UTunnel VPN and ZTNA

UTunnel provides Cloud VPN, ZTNA, and Mesh Networking solutions for secure remote access and seamless network connectivity. ACCESS GATEWAY: Our Cloud VPN as a Service offers swift deployment of Cloud or On-Premise VPN servers. It utilizes OpenVPN and IPSec protocols, enables policy-based...

See Software