GitHub repository: postechsv/lmc-ext
Description: Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)