TLAPS

I Use This!

Activity Not Available

Analyzed over 3 years ago. based on code collected over 5 years 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+.

In a Nutshell, TLAPS...

...
has had 3 commits made by 2 contributors
representing 31,861 lines of code
...
is mostly written in OCaml
with an average number of source code comments
...
has a young, but established codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 8 years of effort (COCOMO model)
starting with its first commit in December, 2013
ending with its most recent commit about 7 years ago

Quick Reference

This Project has No vulnerabilities Reported Against it

Did You Know...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
check out hot projects on the Open Hub
...
55% of companies leverage OSS for production infrastructure
...
you can embed statistics from Open Hub on your site

Code locations have been removed since last analysis

At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.