Verification testing and system software development is being done at the University of Delaware.
Az ellenőrző vizsgálat (helyességbizonyító teszt) és a rendszerszoftver fejlesztése jelenleg is folyik a Delaware Egyetemen.