Select a tag to browse associated projects and drill deeper into the tag cloud.
Spot
Claimed by EPITA Research and Developm... Analyzed 12 months 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.
Licenses:
gpl3_or_l...
Pungi
Analyzed 12 months ago
Fedora iso and install tree spin tool, as well as Python libraries for various meta-packaging tasks.
spin-checker
Analyzed 12 months 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").
Licenses:
BSD_License