Skip to main content Link Search Menu Expand Document (external link)

About Maude SE

Maude-SE is a rewriting modulo SMT extension of Maude, which is a flexible yet efficient framework for connecting SMT solvers to Maude. It supports symbolic reachability analysis with folding, an SMT check with various SMT theories, and an abstract connector at the Python level that makes it easy to integrate and customize SMT solving, without having to understand Maude’s internal implementation.

Get started now


Bug report

To report bugs (or provide any suggestions), please contact maude-se@postech.ac.kr.