Новая модель включает в себя улучшения в программировании, рассуждениях и анализе, а также новые механизмы безопасности.