# Nomination for the Test-of-Time Tool Award at ETAPS

## Name of the Tool

Please state the name of the tool.

## Names of the Nominees

Please state the names of the nominees to receive the award.
Nominees must be authors/developers of the nominated tool or publications covering the tool.

## Description

Please briefly describe the tool (just a few lines).

## URLs

Please include any URLs relevant to the tool, e.g.,
* an official tool website
* version control repositories
* documentation pages
* news groups

## List of Publications Covering the Tool or Reporting its Usage

Please note that the publication list must either include at least one ETAPS publication or
at least one of its authors must be an ETAPS community member.
If the publication list does not include an ETAPS publication,
please clarify who of the nominees are ETAPS community members and their involvement in the community.
Please submit the list as DOI links and include any artifact-submission DOIs.

DOI-Link: DOI
Type of publication: Any of "research paper", "tool paper", "artifact", "tool-related workshop/tutorial", "other"

The publication types are defined as follows.
* Research paper: Peer-reviewed article in a scientific journal, conference proceedings, or
  magazine reporting original research results related to the nominated tool.
* Tool paper: Peer-reviewed article in a scientific journal, conference proceedings, or
  magazine reporting details of the nominated tool or its construction.
* Artifact: Archived submission to an artifact evaluation track at a scientific conference or to a scientific journal.
* Tool-related workshop/tutorial: Mature tools with a solid user community sometimes run dedicated workshops or
  are presented in in-depth tutorials at scientific venues or as standalone events.
  Please use this type for any publications from or information about such events.
* Other: In case none of the other types fits. Please feel free to add your own type tag in brackets.

Publications, for which no DOI exist, may be added as an additional list.
Each entry should specify the type of publication as above along with any relevant information for obtaining
the publication (URLs, title, author list, etc.).

## List of Previously Received Awards

Please include a list of awards the tool or its related publications have previously received, if any.

## List of Competitions the Tool has Participated in

Please list any competitions the tool has appeared in (competition names and years, with a URL and reference to report, if exists).

## Commercial/Industry Adoption or Usage

If the tool or its ideas have been commercialized in a product or adopted for industry applications,
please provide corresponding URLs or documentation.

## Additional Comments

Please state any additional comments you deem relevant for the award committee here.