Résumé
VENUS est un outil d'aide à la conception et à la vérification de systèmes communicants. Il est basé sur le calcul CCS de Milner et permet de normaliser et de vérifier des descriptions de comportements réguliers en tenant compte des equivalences définies dans CCS. Un prototype de VENUS a été réalisé en PROLOG-C.
Références
Milner R. A calculus of communicating systems. Lecture Notes in Computer Science 92. Springer-Verlag. 1980.
Soriano A. VENUS: un outil d'aide à la vérification des systémes communicants. Thèse de 3eme cycle. Institut National Polytechnique de Grenoble. 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soriano, A. (1988). Prototype de Venus: Un Outil d'Aide a la Verification de Systemes Communicantes. In: Cori, R., Wirsing, M. (eds) STACS 88. STACS 1988. Lecture Notes in Computer Science, vol 294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035867
Download citation
DOI: https://doi.org/10.1007/BFb0035867
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18834-6
Online ISBN: 978-3-540-48190-4
eBook Packages: Springer Book Archive