Les méthodes formelles sont des outils informatiques permettant la réalisation de logiciels sûrs et fiables, de la conception à la mise en oeuvre. Celles-ci peuvent être abordées par la logique qui en constitue un des fils directeurs. Cet ouvrage présente cette démarche.