سيمانتك أمثلة على

• لقد تأسست الشركة خلال عام 1988 في تورنتو عاصمة أونتاريو ومن ثم حصلت عليها شركة البرمجيات الأمريكية سيمانتك في عام 1955 .
• بعدما تملكت سيمانتك شركة ديلرينا تم بيع عدد من أقسام الشركة وذهب عدد من المديرين النفيذين السابقين لإيجاد شركات رأس مال إستثماري.
• ويشير أنصار ذلك إلى العلاقة مع المنطق الكلاسيكي، أما المعارضون فيشيرون إلى أن هذا السيمانتك لا يشير مطلقًا بشكل فعلي إلى ما يقوم به النظام (بل ما يتحقق قبل وبعد فقط).
• وأفضل وصف للأساليب الشكلية هو أنها تطبيق يتميز بالتنوع واسع النطاق بشكل كبير لأساسيات المعلوماتية النظرية، على وجه الخصوص حسابات المنطق واللغات الشكلية ونظرية التشغيل الذاتي وسيمانتك البرامج، ولكن كذلك نظام الأنواع وأنواع البيانات الجبرية للمشكلات فيما يتعلق بمواصفات الأجهزة والتحقق منها.