1
I Use This!
Moderate Activity
Analyzed 6 days ago. based on code collected 2 months ago.

Project Summary

Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.

Tags

checker formal ide language lexer model parser tla+

MIT License
Permitted

Commercial Use

Modify

Distribute

Private Use

Sub-License

Forbidden

Hold Liable

Required

Include Copyright

Include License

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
  • ...
    check out hot projects on the Open Hub
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
Java
68%
HTML
18%
XML
10%
9 Other
4%

30 Day Summary

Sep 13 2018 — Oct 13 2018

12 Month Summary

Oct 13 2017 — Oct 13 2018
  • 422 Commits
    Up + 55 (14%) from previous 12 months
  • 13 Contributors
    Up + 2 (18%) from previous 12 months

Ratings

2 users rate this project:
5.0
 
5.0/5.0
Click to add your rating
   Spinner
Review this Project!