s'authentifier
version française rss feed

inria-00072396, version 1

SVL : a Scripting Language for Compositional Verification

Hubert Garavel () a1, Frédéric Lang a1

N° RR-4223 (2001)

Résumé : Compositional verification is a way to avoid state explosion for the enumerative verification of complex concurrent systems. Process algebras such as Lotos are suitable for compositional verification, because of their appropriate parallel composition operators and concurrency semantics. Extending prior work by Krimm and Mounier, this report presents the Svl language, which allows compositional verification of Lotos descriptions to be performed simply and efficiently. A compiler for Svl has been implemented using an original compiler-generation technique based on the Enhanced Lotos language. This compiler supports several formats and tools for handling Labeled Transition Systems. It is available as a component of the Cadp toolbox and has been applied on various case-studies profitably.

  • Domaine : Informatique/Autre
  • Mots-clés : ABSTRACTION / BISIMULATION / COMPOSITIONAL VERIFICATION / CONCURRENCY / COORDINATION LANGUAGE / E-LOTOS / ENUMERATIVE VERIFICATION / LABELED TRANSITION SYSTEM / LOTOS / MODEL-CHECKING / PROCESS ALGEBRA / REACHABILITY ANALYSIS / SPECIFICATION / VALIDATION
  • Référence interne : RR-4223
 
  • inria-00072396, version 1
  • oai:hal.inria.fr:inria-00072396
  • Contributeur : 
  • Soumis le : Mercredi 24 Mai 2006, 09:51:05
  • Dernière modification le : Mercredi 15 Octobre 2008, 12:02:30
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...