Open Hub
Open Hub

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

256K lines of code

3 current contributors

4 months since last commit

4 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl3_or_l...
Tags automata c++ c++14 formalmethods hoa jupyter library ltl modelchecker modelchecking psl python 2 more...

Vcsn

Compare

Claimed by EPITA Research and Developm... Analyzed 2 months ago

Vcsn is a platform for weighted automata and rational expressions. It consists of a C++ generic library, a set of bindings for Python, and a graphical interactive environment on top of IPython.

146K lines of code

2 current contributors

over 5 years since last commit

3 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl3_or_l...
Tags automata c++14 expression jupyter library python rational regex regular transducer weighted

libfsm

Compare

  Analyzed 3 months ago

NFA, DFA, regular expressions and a lexer generator.

89.7K lines of code

7 current contributors

6 months since last commit

1 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: bsd_2clau...
Tags automata dfa fsm generator lexer nfa regexp

DFA Interpreter

Compare

  Analyzed 3 months ago

This is an python3 script that reads a deterministic finite automata (DFA) definition from a .txt file and uses it to processes words

122 lines of code

0 current contributors

almost 7 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: No declared licenses
Tags automata dfa python3

Finito State Machines

Compare

  Analyzed 3 months ago

Introspectable, language agnostic, finite state machines

967 lines of code

0 current contributors

over 7 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in CoffeeScript
Licenses: mit
Tags automata embedded finite_state_machine flow_based_programming javascript languageagnostic microcontroller

excusa

Compare

  Analyzed 2 months ago

Effective XML Communication Using SOAP and Automata

123K lines of code

0 current contributors

over 13 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Postscript
Licenses: mit
Tags automata communication generator soap webservice wsdl xml

ultimate

Compare

  Analyzed 3 months ago

Ultimate is a program analysis framework. Ultimate consists of several plugins that perform steps of a program analysis, e.g., parsing source code, transforming programs from one representation to another, or analyzing programs. Toolchains of these plugins can perform complex tasks, e.g., verify ... [More] that a C program fulfills a given specification. [Less]

5.69M lines of code

26 current contributors

4 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: lgplv3-st...
Tags automata ltl model-checking program-analysis reachability software-analysis termination