تكوين البرنامج
Sign in to savetask to construct a program that provably satisfies a given high-level formal specification
Article · العربية
إن تخليق (تكوين) البرنامج هو شكل خاص من أشكال التي غالبا ما تقترن بتقنية للتحقق الرسمي.إن الهدف هو أن يتم أوتوماتيكيا إنشاء برنامج يفي بصورة مبرهنة بمواصفات معينة عالية المستوى. وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة.
Abstract from DBpedia / Wikipedia · CC BY-SA