The following tools are available to the public free of charge as a part of R&D results of Fujitsu Laboratories. As for the use conditions of these tools, please see the page of each tool.
COMEVIZZ is a web application to analyze distributions of software's source code metrics.
SyNRAC is a software package for quantifier elimination, solving first-order formulas.
Share this page