Announced Tools

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.

Announced Tools


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.

Top of Page