Vérification automatique des systèmes à base de règles avec le narrowing stratégique

Anderson Santana de OliveiraDavid DéharbePierre-Etienne Moreau

We propose to build a tool aimed to the automated verification of reachability goals over rule-based systems controlled by strategies. The verification procedure is bases on narrowing, which allows one to simulate the possible executions of the rewrite rules with variables. The Tom language will be employed in the development of the tool, given its strategic rewriting capabilities.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: