reliability verification

Mechanisms for adding security and reliability verification to the language: extended static checking, information flow control, static thread safety.

Mechanizmy dla dodawania bezpieczeństwa i weryfikacji wiarygodności do języka: poszerzona kontrola statyczna, przepływ informacji kontrola, statyczne bezpieczeństwo wątków.

Current directions include security and reliability verification, new kinds of modularity (mixins, delegates, aspects), and database integration such as Microsoft's LINQ.

Obecne kierunki załączają bezpieczeństwo i weryfikację solidności, nowe rodzaje modularności (mixins, delegaci, aspekty), i integracja bazy danych taka jak LINQ Microsoftu.

SERVIS-2, or Space Environment Reliability Verification Integrated System 2, is a Japanese technological research satellite which was launched in 2010.

SERVIS-2, albo Środowisko kosmiczne Solidność Weryfikacja zintegrowany system 2, jest japońskim technicznym satelita badawczym, który został wystrzelony w 2010.

SERVIS-1, or Space Environment Reliability Verification Integrated System 1, is a Japanese satellite designed for testing the performance of commercial off-the-shelf products in the space environment.

SERVIS-1, albo Środowisko kosmiczne Solidność Weryfikacja zintegrowany system 1, japoński satelita przeznaczono wystawia na próbę wydajność handlowych produktów dostępnych od ręki w środowisku kosmicznym.