Maude software language

Example of Maude specification – Maude software language

Maude, SRI’s high-performance declarative software language and system, is among the fastest equational rewriting systems in its class. Maude supports both equational and rewriting logic specification and programming for a wide range of applications. Important applications include metalanguage, in which the system is used to create executable environments for different logics, theorem provers, languages, and models of computation.

Maude is available to software developers at no charge.

Read more from SRI

  • An arid, rural Nevada landscape

    Can AI help us find valuable minerals?

    SRI’s machine learning-based geospatial analytics platform, already adopted by the USGS, is poised to make waves in the mining industry.

  • Two students in a computer lab

    Building a lab-to-market pipeline for education

    The SRI-led LEARN Network demonstrates how we can get the best evidence-based educational programs to classrooms and students.

  • Code reflected in a man's eyeglasses

    LLM risks from A to Z

    A new paper from SRI and Brazil’s Instituto Eldorado delivers a comprehensive update on the security risks to large language models.