| # "featureName" property - name of the feature |
| featureName=PTP Graphical Explorer of MPI Programs (GEM) |
| |
| # "providerName" property - name of the company that provides the feature |
| featureProvider=Eclipse PTP |
| |
| # "description" property - description of the feature |
| description=GEM is a tool for deadlock detection and other formal analyses in MPI C/C++ applications. \n |
| GEM serves as a graphical front end for In-situ Partial Order (ISP), \n\ |
| a dynamic formal verification tool for MPI developed at the School of Computing, University of Utah. \n\ |
| Whether you are new to MPI or are an advanced user, GEM will help you debug your MPI programs, \n\ |
| and graphically show many valuable facts, including all the possible send/receive matches, \n\ |
| and synchronizations. GEM also includes features to help users understand and debug the program across \n\ |
| all platforms on which it may be run (e.g. highlighting deadlocks that may occur due to differing \n\ |
| communication buffer allocations). For a given test harness, GEM will allow you to explore only \n\ |
| the relevant process interleavings, which are much smaller than the number of total feasible interleavings. \n |
| GEM also guarantees to discover and explore all non-deterministic matches at runtime. |
| |
| # copyright |
| copyright=\ |
| Copyright (c) 2009 University of Utah School of Computing\ |
| 50 S Central Campus Dr. 3190 Salt Lake City, UT 84112\ |
| http://www.cs.utah.edu/formal_verification/\ |
| \n\ |
| All rights reserved. This program and the accompanying materials\n\ |
| are made available under the terms of the Eclipse Public License v1.0\n\ |
| which accompanies this distribution, and is available at\n\ |
| http://www.eclipse.org/legal/epl-v10.html\n |