reliability verification

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

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

SERVIS-2, or Space Environment Reliability Verification Integrated System 2, is a Japanese technological research satellite which was launched in 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.