I Use This!
Activity Not Available
Analyzed 8 months ago. based on code collected 8 months ago.

Project Summary

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


No tags have been added

In a Nutshell, HELENA - the High LEvel Net Analyzer...

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    search using multiple tags to find exactly what you need
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    anyone with an Open Hub account can update a project's tags
About Project Security



30 Day Summary

Nov 17 2019 — Dec 17 2019

12 Month Summary

Dec 17 2018 — Dec 17 2019


Be the first to rate this project
Click to add your rating
Review this Project!