0
I Use This!
Inactive
Analyzed 3 days ago. based on code collected 3 days ago.

Project Summary

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Tags

No tags have been added

In a Nutshell, CoreASM...

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
  • ...
    compare projects before you chose one to use
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    check out hot projects on the Open Hub
About Project Security

Languages

Java
99%
2 Other
1%

30 Day Summary

May 11 2025 — Jun 10 2025

12 Month Summary

Jun 10 2024 — Jun 10 2025

Ratings

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