MTT: The Maude Termination Tool (System Description).

Francisco Durán Salvador Lucas José Meseguer

Published in: IJCAR (2008)

Keyphrases

user friendly
software tools
formal specification
case study
mobile robot
open source
website
high level
data analysis
analysis tool