Simula Research Lab (host)

Simula is a non-profit, public utility enterprise performing leading international research within selected ICT fields.

In 2011 Simula was ranked as the world’s most productive institution in systems and software engineering research, and received in 2012 the highest score in a national ICT evaluation.

Certus’ long-term perspectives and strong industrial profile gives Simula a unique opportunity to further expand and enhance its position as a leader in software verification and validation research.

The Certus Centre is one of several research projects in Simula within software verification and validation. Together, these projects are organized in Simula’s Certus Department.

Please view Simula’s web site for more information.