Visual Formal Methods
This introduction to Visual Formal Methods by R.J. Walters focuses on the modeling tool RDT, which facilitates the construction of formal models using intuitive, informal methods. It discusses the motivation behind RDT, the language and tools involved, and provides a step-by-step example of building and executing models. Key topics include the representation of processes, state management, communication through channels, and the use of model checkers like SPIN. This guide is essential for understanding the basics of system modeling in large-scale systems and emphasizes the ease of use despite certain limitations.
Télécharger la présentation 
Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.
F I N