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.

A Static Analyzer for Java & Android

Try our Julia analyzer and find bugs in Java and Android programs well before they are run. Our tool is not just another syntactical checker. It is a semantical tool, based on a mathematical theory known as abstract interpretation. Julia will check all possible executions of your software and find all possible bugs, inside the categories considered by the tool.

Julia is very simple to use: go to the TRY ONLINE page and provide one or more jar files making up your application. For instance, you can export them from your preferred development environment. Then select the kind of analyses that you want to perform: checks are very simple and quick analyses, but you will be surprised by the amount of information that you will learn about your program; nullness perform a deep, complete nullness analysis of the program. It covers all executions of your program! termination analysis proves termination of your methods: they will not hang unexpectedly.

We improve our tool every day. Your experience is invaluable for us. If you have criticisms or suggestions for improvements, go to the CONTACTS page and let us know what you think.

	[21/02/2012] Julia present at Embedded World 2012 read more
	[14/02/2012] Julia compared with other verification tools for Android read more
	[14/02/2012] New version of the analyzer read more
	[26/10/2011] Julia shortlisted among the first 9 best projects for the Telecom Working Capital competition read more
	[25/10/2011] Verified Software Development read more
	[11/09/2011] New checks in the Julia analyzer read more