Skip to content
@fadoss

FADoSS

Formal Analysis and Design of Software Systems group (Universidad Complutense de Madrid)

Popular repositories Loading

  1. maude-bindings maude-bindings Public

    Language bindings for Maude

    SWIG 18

  2. umaudemc umaudemc Public

    Unified Maude model-checking tool

    Python 9 1

  3. strat-examples strat-examples Public

    Examples of the Maude strategy language

    Python 6

  4. maudesmc maudesmc Public

    Model checker for Maude systems controlled by strategies

    C++ 1

  5. multivesta-maude multivesta-maude Public

    Maude simulator for MultiVeSta

    Python 1

  6. ltsmin ltsmin Public

    Forked from utwente-fmt/ltsmin

    The LTSmin model checking toolset

    C

Repositories

Showing 9 of 9 repositories
  • umaudemc Public

    Unified Maude model-checking tool

    fadoss/umaudemc’s past year of commit activity
    Python 9 GPL-2.0 1 1 0 Updated Mar 24, 2024
  • maude-bindings Public

    Language bindings for Maude

    fadoss/maude-bindings’s past year of commit activity
    SWIG 18 GPL-2.0 0 0 0 Updated Mar 24, 2024
  • maudesmc Public

    Model checker for Maude systems controlled by strategies

    fadoss/maudesmc’s past year of commit activity
    C++ 1 GPL-2.0 0 0 0 Updated Mar 23, 2024
  • strat-examples Public

    Examples of the Maude strategy language

    fadoss/strat-examples’s past year of commit activity
    Python 6 GPL-3.0 0 0 0 Updated Mar 23, 2024
  • snarrow Public

    Narrowing with strategies in Maude

    fadoss/snarrow’s past year of commit activity
    Python 0 GPL-2.0 0 0 0 Updated Jan 20, 2024
  • maude2lean Public

    Maude to Lean translator

    fadoss/maude2lean’s past year of commit activity
    Lean 0 GPL-3.0 0 0 0 Updated Sep 18, 2023
  • multivesta-maude Public

    Maude simulator for MultiVeSta

    fadoss/multivesta-maude’s past year of commit activity
    Python 1 0 0 0 Updated Nov 19, 2022
  • ceta Public

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

    fadoss/ceta’s past year of commit activity
    C++ 0 GPL-2.0 0 0 0 Updated Apr 8, 2022
  • ltsmin Public Forked from utwente-fmt/ltsmin

    The LTSmin model checking toolset

    fadoss/ltsmin’s past year of commit activity
    C 0 BSD-3-Clause 30 0 0 Updated Feb 10, 2020

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…