Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Spot

Compare

Claimed by EPITA Research and Developm... Analyzed 31 minutes ago

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.

252K lines of code

3 current contributors

3 days since last commit

4 users on Open Hub

Moderate Activity
5.0
 
I Use This

Pungi

Compare

  Analyzed about 18 hours ago

Fedora iso and install tree spin tool, as well as Python libraries for various meta-packaging tasks.

53.8K lines of code

15 current contributors

14 days since last commit

0 users on Open Hub

Moderate Activity
0.0
 
I Use This

spin-checker

Compare

  Analyzed about 20 hours ago

SPIN is a model checker for verifying the correctness of concurrent software models. Systems to be verified are described in Promela (Process Meta Language), which supports modeling of asynchronous distributed algorithms as non-deterministic automata (SPIN stands for "Simple Promela Interpreter").

46.6K lines of code

4 current contributors

about 1 month since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This