Strategic Organizations

CSLib is supported by strategic organizations that pursue long-term visions and roadmaps. Strategic organizations collaborate actively with CSLib's governance to support CSLib effectively. You can read more about them below.

CSLib Initiative

A program of Renaissance Philanthropy whose mission is to support the growth of the CSLib open-source project, providing funding, staffing, coordination, and strategic focus.

Read more on the CSLib Initiative page.

FORM: Centre for Formal Methods and Future Computing

FORM is the first research centre focused on the development of CSLib, hosted by the Danish Institute for Advanced Study, University of Southern Denmark. Its mission is to unlock the large-scale application of formal methods in software development.

Read more on the FORM page.