BDBComp
Parceria:
SBC
Verificação Formal da Etapa do Particionamento em Co-design Usando o Sistema de Reescrita BOBJ

Manoel Messias MenezesAndré Luis SilvaLeila Silva

The focus of this work is hardware/software partitioning verification. The approach uses occam as specification and reasoning language. The partitioned system is derived from the original description of the system by applying transformation rules, all of them proved from the basic laws of occam. The aim of this work is to show how rewriting systems, specifically BOBJ, can be used to carry out the proofs of the partitioning rules automatically. Thus, rewriting systems can be regarded as supporting tools for partitioning environments, which emphasis is correctness. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD