Les méthodes formelles, garantes de la sécurité des systèmes

En complément du cycle de développement traditionnel, les méthodes formelles imposent de se pencher plus longuement sur les spécifications.