CONTENT

This web page mcta.informatik.uni-freiburg.de states the following, "Directed Model Checking for Real-time Systems." Our analyzers saw that the webpage also stated " Is a model checking tool for real-time specifications modelled as timed automata." The Website also said " Although the tool can be used for verification, Mcta. Is rather optimized for falsification, i. , detecting violations against safety properties fast and returning short error traces. Several types of traces can be generated, including an option to find a guaranteed shortest error trace. There is also the possibility to examine Mcta." The website's header had model checking timed automata as the most important optimized keyword. It is followed by directed model checking and heuristic search which isn't as highly ranked as model checking timed automata.