Abstrakt
Nástroj pro formální verifikaci korektnosti sestavení aplikace ze softwarových komponent, založený na metodě ?model checking?. Samostatně použitelný nástroj zapojený do projektu SOFA, v jehož rámci je přijat a šířen konsorciem ObjectWeb.org.