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

Project Summary

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Tags

eclipse formalmethods java

Eclipse Public License 1.0
Permitted

Sub-License

Private Use

Use Patent Claims

Commercial Use

Modify

Distribute

Forbidden

Hold Liable

Use Trademarks

Required

Distribute Original

Disclose Source

Include Copyright

Include License

Include Install Instructions

Compensate Damages

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

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
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
Java
78%
XML
15%
8 Other
7%

30 Day Summary

Jan 8 2018 — Feb 7 2018

12 Month Summary

Feb 7 2017 — Feb 7 2018
  • 156 Commits
    Up + 13 (9%) from previous 12 months
  • 5 Contributors
    Up + 2 (66%) from previous 12 months