Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Systems and Software Verification: Model-Checking Techniques and Tools
Contenu du livre :
Le model checking est une approche puissante pour la vérification formelle des logiciels.
Lorsqu'elle est applicable, elle fournit automatiquement des preuves complètes de correction ou explique, par le biais de contre-exemples, pourquoi un système n'est pas correct. Ce livre fournit une introduction de base à cette nouvelle technique.
La première partie décrit en termes simples les bases théoriques du model-checking : les systèmes de transition comme modèle formel des systèmes, la logique temporelle comme langage formel pour les propriétés comportementales, et les algorithmes de model-checking. La deuxième partie explique comment écrire des spécifications de logique temporelle riches et structurées dans la pratique, tandis que la troisième partie passe en revue quelques-uns des principaux vérificateurs de modèles disponibles.
Autres informations sur le livre :
| ISBN : | 9783642074783 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2010 |
| Nombre de pages : | 190 |
Achat:
Actuellement disponible, en stock.
