README.md

This project contains the source code for the LTLR model checker and the LTL logical model checker, integrated with Maude's source code.

• Maude
• Maude LTLR model checker
• Maude LTL logical model checker