The Maude LTL model checker (0)

by S Eker, J Meseguer, A Sridharanarayanan
Venue:Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS, Elsevier, 2002. SOS'05, ENTCS 156