The Maude LTL model checker (2002)

by S Eker, J Meseguer, A Sridharanarayanan
Venue:In 4th WRLA, ENTCS 71