Spot

I Use This!

Activity Not Available

Analyzed 11 months ago. based on code collected 11 months ago.

Project Summary

Spot is a C++14 library for manipulating omega-automata and LTL/PSL formulas. It offers a set of bricks to experiment with and develop your own model checker, or do other formulas/automata transformations. It comes with a dozen command-line utilities, and Python bindings.

In a Nutshell, Spot...

...
has had 6,568 commits made by 38 contributors
representing 251,522 lines of code
...
is mostly written in C++
with an average number of source code comments
...
has a well established, mature codebase
maintained by a average size development team
with decreasing Y-O-Y commits
...
took an estimated 64 years of effort (COCOMO model)
starting with its first commit in October, 2002
ending with its most recent commit 12 months ago

Quick Reference

Organization:

EPITA Research and Development Laboratory (LRDE)

Project Links:

Homepage
Download
Issue Trackers
Mailing Lists

Code Locations:

https://gitlab.lrde.epita.fr/spo...

Similar Projects:

Managers:

Alexandre Duret-Lutz

Licenses

GNU General Public License v3.0 or later

Permitted

Commercial Use

Modify

Distribute

Place Warranty

Use Patent Claims

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Install Instructions

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...

...
use of OSS increased in 65% of companies in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
65% of companies leverage OSS to speed application development in 2016
...
learn about Open Hub updates and features on the Open Hub blog