maude-team/maude — pull request #3 by kquine (2014-08-18 04:38:28+00:00)
Title: Mfe hooks ltlr

This branch combines Maude+MFE with the two model checker extensions,
namely, LTLR (linear temporal logic of rewriting) and narrowing-based LMC
(logical model checker).