A Front-End Generator for Verification Tools

Abstract : This paper describes the Process Algebra Compiler (PAC), a front-end generator for process-algebra-based verification tools. Given descriptions of a process algebra's concrete and abstract syntax and semantics as structural operational rules, the PAC produces syntactic routines and functions for computing the semantics of programs in the algebra. Using this tool greatly simplifies the task of adapting verification tools to the analysis of systems described in different languages; it may therefore be used to achieve source-level compatibility between different verification tools. Although the initial verification tools targeted by the PAC are MAUTO and the Concurrency Workbench, the structure of the PAC caters for the support of other tools as well
Type de document :
Rapport
RR-2612, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00074073
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:26:26
Dernière modification le : samedi 27 janvier 2018 - 01:31:15
Document(s) archivé(s) le : jeudi 24 mars 2011 - 14:08:32

Fichiers

Identifiants

  • HAL Id : inria-00074073, version 1

Collections

Citation

Rance Cleaveland, Eric Madelaine, Steve Sims. A Front-End Generator for Verification Tools. RR-2612, INRIA. 1995. 〈inria-00074073〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

186