Språket ska vara vara precist men kortfattat. Sida vid sida med språket tar projektet fram verktyg för automatiserad analys. I projektet deltar experter på programspråk, distribuerade system, produktlinjer för programvara, formell verifiering, och typteori.
Chalmers är koordinator för projektet som sorterar under "Future and Emerging Technologies" – en EU-satsning på informations- och kommunikationsteknologi. Det har en budget på 6 miljoner euro och kommer att pågå i fyra år.