FM Growth Data

Information about the growth, activity, and maturity of open source formal methods.

Published by Visit us on GitHub.

Last updated: Mar 30, 2023

How to use this report

Most of the pages in this report feature charts rendered by plotly. Some of these charts contain a lot of information. Fortunately, they are interactive. You may find the following tips useful:

  • You can double-click on any item in the legend to focus on it.

  • You can single-click on any item in the legend to toggle its presence.

  • You can zoom, pan, and download as .png.

  • To view a chart in “full screen” mode, right-click on it and choose “open in new tab” (or similar, depending on your browser).

We recommend viewing on a wide-screen display if possible.

Getting the data