0
I Use This!
Activity Not Available
Analyzed about 1 year ago. based on code collected about 1 year ago.

Project Summary

TAPAAL: Tool for Verification of Timed-Arc Petri Nets.

Tags

No tags have been added

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    check out hot projects on the Open Hub
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Java
95%
6 Other
5%

30 Day Summary

Feb 10 2021 — Mar 12 2021

12 Month Summary

Mar 12 2020 — Mar 12 2021
  • 827 Commits
    Up + 161 (24%) from previous 12 months
  • 10 Contributors
    Up + 5 (100%) from previous 12 months