Related Projects

In recent years there has been, and continues to be, a great deal of research activity in static analysis for bug-finding and verification. This page lists some of the related projects. If you think there is a project that should be included, please feel free to contact us about improving this page! Projects are categorized by whatever terminology the project's literature uses to describe itself.