méthode formelle

concept techniques de raisonnement mathématique sur des programmes ou du matériel informatique

Aussi : méthodes formelles, methode formelle