FADoSS

FADoSS's repositories

Language bindings for Maude

Language:SWIGGPL-2.014 4 6

Unified Maude model-checking tool

Language:PythonGPL-2.08 1 1

Examples of the Maude strategy language

Language:PythonGPL-3.04 20

Model checker for Maude systems controlled by strategies

Language:C++GPL-2.01 10

Maude simulator for MultiVeSta

Language:Python1 10

Fork of the Ceta (Combining Equational Tree Automata) library for C++17

Language:C++GPL-2.0010

The LTSmin model checking toolset

Language:CBSD-3-Clause010

Maude to Lean translator

Language:LeanGPL-3.0010

Narrowing with strategies in Maude

Language:PythonGPL-2.0010