The Verification Tools Library documents several of the most mature verification tools available to the cyber-physical systems community.

This site consists of:

  1. a search engine that suggests specific tools for various types of problems,
  2. as well as a tool library with links to individual tools.

Each individual tool is annotated by metadata that comes from several pre-defined "taxonomies". It is these taxonomies that are used when searching for candidate tools along certain problem dimensions.

In addition to resources pages for each individual tool cataloged here, the library also contains reference pages that describe the terminology used on the search page.

See the README for more detailed information.