Sign in

MTT: The Maude Termination Tool (System Description).

Francisco DuránSalvador LucasJosé 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