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 in Android and Java, also for mobile and cloud computing applications. We reach our goal by using software verification based on 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 innovation. 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.
Specialties
Software Verification, Software Development, Software Analysis, Static Analysis