#

maude

Here are 3 public repositories matching this topic...

fadoss / maudesmc

Model checker for Maude systems controlled by strategies

verification model-checking maude

Updated Dec 30, 2024
C++

juacmola / aed_23-24

Exercises of Algorithms and Data Structures

algorithms cpp graph-algorithms university-project data-structures maude

Updated Sep 1, 2024
C++

taktoa / maude

This repository contains the Maude 2 interpreter source tree.

interpreter fork maude

Updated Dec 10, 2016
C++

Improve this page

Add a description, image, and links to the maude topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the maude topic, visit your repo's landing page and select "manage topics."