4
I Use This!
Moderate Activity
Analyzed 2 days ago. based on code collected 3 days 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.

Tags

automata c++ c++14 formalmethods hoa jupyter library ltl modelchecker modelchecking psl python spin translator

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.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    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

C++
46%
XML
28%
shell script
12%
9 Other
14%

30 Day Summary

Jan 24 2024 — Feb 23 2024

12 Month Summary

Feb 23 2023 — Feb 23 2024
  • 149 Commits
    Down -109 (42%) from previous 12 months
  • 5 Contributors
    Up + 1 (25%) from previous 12 months