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 19

  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. maude2lean maude2lean Public

    Maude to Lean translator

    Lean 1

Repositories

Showing 10 of 10 repositories
  • europroofnet.github.io Public Forked from EuroProofNet/europroofnet.github.io

    Sources of the EuroProofNet web site.

    fadoss/europroofnet.github.io’s past year of commit activity
    Ruby 0 50 0 0 Updated Oct 5, 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 Sep 29, 2024
  • maude2lean Public

    Maude to Lean translator

    fadoss/maude2lean’s past year of commit activity
    Lean 1 GPL-3.0 0 0 0 Updated Sep 1, 2024
  • 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 19 GPL-2.0 0 0 0 Updated Mar 24, 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
  • 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 31 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…