0
I Use This!
Very Low Activity
Analyzed 23 days ago. based on code collected 23 days ago.

Project Summary

The TLA+ Proof System (TLAPS) mechanically checks TLA+ proofs.
TLA+ is a general-purpose formal specification language that is particularly useful for describing concurrent and distributed systems. The TLA+ proof language is declarative, hierarchical, and scalable to large system specifications. It provides a consistent abstraction over the various “backend” verifiers.
The current release of TLAPS does not perform temporal reasoning, and it does not handle some features of TLA+.

Tags

No tags have been added

In a Nutshell, TLAPS...

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
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Languages?height=75&width=75
OCaml
78%
shell script
12%
Autoconf
9%
5 Other
1%

30 Day Summary

Oct 24 2017 — Nov 23 2017

12 Month Summary

Nov 23 2016 — Nov 23 2017
  • 0 Commits
    Down -1 (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!