Delrina was a Canadian software company, which was founded in 1988 and was subsequently acquired by the American software firm Symantec in 1995. لقد تأسست الشركة خلال عام 1988 في تورنتو عاصمة أونتاريو ومن ثم حصلت عليها شركة البرمجيات الأمريكية سيمانتك في عام 1955 .
After the company was acquired by Symantec, various divisions were sold off and several of Delrina's former executives went on to found venture capital firms. بعدما تملكت سيمانتك شركة ديلرينا تم بيع عدد من أقسام الشركة وذهب عدد من المديرين النفيذين السابقين لإيجاد شركات رأس مال إستثماري.
Proponents note the connection to classical logic; critics note that such semantics never really describe what a system does (merely what is true before and afterwards). ويشير أنصار ذلك إلى العلاقة مع المنطق الكلاسيكي، أما المعارضون فيشيرون إلى أن هذا السيمانتك لا يشير مطلقًا بشكل فعلي إلى ما يقوم به النظام (بل ما يتحقق قبل وبعد فقط).
Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification. وأفضل وصف للأساليب الشكلية هو أنها تطبيق يتميز بالتنوع واسع النطاق بشكل كبير لأساسيات المعلوماتية النظرية، على وجه الخصوص حسابات المنطق واللغات الشكلية ونظرية التشغيل الذاتي وسيمانتك البرامج، ولكن كذلك نظام الأنواع وأنواع البيانات الجبرية للمشكلات فيما يتعلق بمواصفات الأجهزة والتحقق منها.
جوال إصدار