Synthèse de programmes déductive

Spécification formelle

Description mathématiquement précise du comportement attendu d'un système ou programme, utilisant des notations formelles comme Z, VDM ou B pour définir les propriétés et contraintes.

← 返回