# /**
#  * Copyright (c) 2008 IBM Corporation and others.
#  * All rights reserved.   This program and the accompanying materials
#  * are made available under the terms of the Eclipse Public License 2.0
#  * which accompanies this distribution, and is available at
#  * https://www.eclipse.org/legal/epl-2.0/
#  *
#  * Contributors:
#  *   itemis - Initial API and implementation
#  */

# NLS_MESSAGEFORMAT_VAR

_UI_WATERS_ExamplesCategory_name = APP4MC WATERS FMTV Challenge Examples

_UI_WATERS_FMTV_Challenge2016_name = WATERS FMTV Challenge 2016
_UI_WATERS_FMTV_Challenge2016_desc = WATERS - Formal Methods for Timing Verification (FMTV) Challenge 2016

_UI_WATERS_FMTV_Challenge2017_name = WATERS FMTV Challenge 2017
_UI_WATERS_FMTV_Challenge2017_desc = WATERS - Formal Methods for Timing Verification (FMTV) Challenge 2017

_UI_WATERS_FMTV_Challenge2019_name = WATERS FMTV Challenge 2019
_UI_WATERS_FMTV_Challenge2019_desc = WATERS - Formal Methods for Timing Verification (FMTV) Challenge 2019

_UI_WATERS_FMTV_Challenge_Project_desc = The project contain the relevant documents, links and the AMALTHEA model file.