4
Wyvern je novi programski jezik koji je osmišljen kako bi pomogao programerima da budu visoko produktivni u pisanju aplikacija visoke pouzdanosti.Prva velika novost u Wyvernu jesu jezici specifični za tip, značajka koja programerima omogućuje stvaranje literala danog tipa (npr. SQLQuery tipa) na jeziku prikladnom za taj tip (npr. SQL).Trenutno radimo na modelu objekta Wyvern i na pružanju arhitektonskog nadzora više arhitektonskog nadzora.