FADoSS
Formal Analysis and Design of Software Systems group (Universidad Complutense de Madrid)
Madrid
Pinned Repositories
ceta
Fork of the Ceta (Combining Equational Tree Automata) library for C++17
europroofnet.github.io
Sources of the EuroProofNet web site.
ltsmin
The LTSmin model checking toolset
maude-bindings
Language bindings for Maude
maude2lean
Maude to Lean translator
maudesmc
Model checker for Maude systems controlled by strategies
multivesta-maude
Maude simulator for MultiVeSta
snarrow
Narrowing with strategies in Maude
strat-examples
Examples of the Maude strategy language
umaudemc
Unified Maude model-checking tool
FADoSS's Repositories
fadoss/maude-bindings
Language bindings for Maude
fadoss/umaudemc
Unified Maude model-checking tool
fadoss/strat-examples
Examples of the Maude strategy language
fadoss/maude2lean
Maude to Lean translator
fadoss/maudesmc
Model checker for Maude systems controlled by strategies
fadoss/multivesta-maude
Maude simulator for MultiVeSta
fadoss/ceta
Fork of the Ceta (Combining Equational Tree Automata) library for C++17
fadoss/europroofnet.github.io
Sources of the EuroProofNet web site.
fadoss/ltsmin
The LTSmin model checking toolset
fadoss/snarrow
Narrowing with strategies in Maude