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

Project Summary

An open-source refinement checker for the CSP process algebra

Tags

No tags have been added

In a Nutshell, hst's hst...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    data presented on the Open Hub is available through our API
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    search using multiple tags to find exactly what you need

Languages

Languages?height=75&width=75
C
87%
7 Other
13%

30 Day Summary

Feb 18 2018 — Mar 20 2018

12 Month Summary

Mar 20 2017 — Mar 20 2018
  • 0 Commits
    Down -213 (100%) from previous 12 months
  • 0 Contributors
    Down -1 (100%) from previous 12 months

Ratings

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