Skip to content
@fadoss

FADoSS

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

Popular repositories

  1. maude-bindings maude-bindings Public

    Language bindings for Maude

    SWIG 14

  2. umaudemc umaudemc Public

    Unified Maude model-checking tool

    Python 8 1

  3. strat-examples strat-examples Public

    Examples of the Maude strategy language

    Python 5

  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

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…