Formal Methods in Computer Science donne aux étudiants une introduction complète aux méthodes formelles et à leur application dans la spécification et la vérification de logiciels et de matériel. La première partie présente quelques principes fondamentaux des méthodes formelles, notamment la théorie des ensembles, les fonctions, les machines à états finis et les expressions régulières. La deuxième partie se concentre sur la logique, un langage formel puissant pour spécifier les propriétés des systèmes. Il couvre la logique propositionnelle, la logique des prédicats, la logique temporelle et la vérification des modèles. La troisième partie présente les réseaux de Petri, le langage formel le plus populaire dans la modélisation du comportement des systèmes. En plus des réseaux de Petri réguliers, cette partie examine également les réseaux de Petri temporisés et les réseaux de Petri de haut niveau. Le manuel est idéal pour les cours de premier cycle ou des cycles supérieurs en génie informatique, en génie logiciel, en informatique et dans les programmes de technologie de l’information. Certaines parties du livre sont du matériel de lecture utile dans les cours d’informatique de premier cycle et comme guide de référence pour les étudiants qui font des recherches dans le domaine de la spécification et de la validation formelles des systèmes. Features * Présente un ensemble complet mais gérable de techniques formelles pour les étudiants en informatique * Met l’accent sur la valeur d’application réelle de chaque technique formelle * Offre une bonne série d’exercices qui aident les étudiants à mieux comprendre les techniques présentées * Propose également un code source préparé pour le téléchargement et la Utilisation non commerciale . Langue : Anglais