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.

Development of Verified Software

Our company develops software in Java, Android and for cloud computing. You can trust our software because we verify it with our automatic tool for static semantical analysis. This guarantees that some frequent classes of bugs cannot be present in the programs that we ship. Our software company is unique in this, because we invest in research and continuous innovation. This is attested by the power of our static analysis tool, recognised at international scientific level.

More information is available here.

	[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
	[06/09/2011] Julia Srl and CoQuadro Srl work together at the automatic verification of cloud computing software read more
	[01/09/2011] Fausto Spoto invited speaker at CILC 2011 read more
	[28/08/2011] New version of our static analyzer read more