تتم كتابة دليلاً على صحة الأسلوب في التأكيدات التي تصف البرنامج المدخلات والنواتج والظروف المتوسطة وهو وضع مجموعة من النظريات المتعلقة بالارتياح بالتأكيدات الإدخال إلى الارتياح بالتأكيدات الإخراج، والنظريات إثبات أو دحض استخدام إثبات بالاستقراء.