We are a
software company established in 2010. Our goal is
the production of tools for formal software verification of computer
programs and the development
of high-quality, formally verified software.
We reach our goal by using
abstract interpretation, a
mathematical theory for the static analysis of software.
The
distinguishing feature of our company is that we build
on scientific roots and believe in
scientific research and technological development.
Our products are the result of more than ten years of scientific research, as proved by
a long list of peer-reviewed scientific publications.
As a spin-off of the University of Verona, in Italy,
our company was born from the enthusiasm of
young researchers who wanted to transform
their research into an innovative industrial reality.
But we are not alone: professional, experienced managers
are part of our company and guide us into the financial and
entrepreneurial world.